Ist denn nicht „(∃2x) φx ∙ (∃2x) ψx ∙ Ind. . ⊃ . (∃4x) φx ⌵ ψx” auch eine Anwendung von 2 + 2 = 4, ebenso wie (Е2x) φx etc etc.