Aber es wird sich doch dasjenige zeigen, was man meint wenn man sagt: [A|a]us
(Е1)x ∙ φx ∙ (Е1)x ∙ ψx ∙ ~(∃x) ∙ φx ∙ ψx folgt (Е2)xφx ⌵ ψx.