Notice that this is not a case of epistemic uncertainty.
of our treatment of VP negation, the universal quantifier ("all") and the existential quantifier ("some") are not interdefinable, as they are in classical logic.