(Е2)xφx ∙ (Е3)xψx ∙ ~(∃x) φx ∙ ψx . ⊃ φψ. (Е2 + 3)xφx ⌵ ψx
Die Addition mit On bezieht sich nur auf das letzte Glied des Satzes.
  (Sie bedeutet: wenn irgend einmal eine Operation notig sein sollte, dann ergibt sie das Resultat …)