 The intuitionistic interpretation doesn’t sanction the classical equivalence between \(\exists x A\) and \(\neg \forall x \neg A\). Indeed, the two quantifiers must remain part of the primitive vocabulary of intuitionistic quantificational logic.