 De Jongh [1970] combined realizability with Kripke modeling to show that intuitionistic propositional logic \(\mathbf{IPC}\) and a fragment of \(\mathbf{IQC}\) are arithmetically complete for \(\mathbf{HA}.\) A uniform assignment of simple existential formulas to predicate letters suffices to prove: