(∃❘x) φx ∙ (∃❘x) ψx ∙ Ind. . ⊃ . (∃❘ ❘x) φx ⌵ ψx
Als das Primäre erkennen wir hier die Beziehung der Strukturen ❘ + ❘ = ❘ ❘. Ohne diese Erkenntnis können wir die Wahrheit des Satzes nicht erkennen.