(∃2x) φx ∙ (∃2x) ψx ∙ Ind. . ⊃ .      . ⊃ . (∃4x) φx ⌵ ψx