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