Wenn ich den Satz schreibe „(Еxyz)φ( ) ∙ (Еx,y)ψ( ) ∙ Ind. . ⊃ .¤ (Еxyzuv)φ( ) ⌵ ψ( )” so muß ich, um die Extension der rechten Klammer richtig beschreiben || hinschreiben zu können, sie in zwei Teilen schreiben, die den beiden linken Extensionen 1–1 zugeordnet sind. Ich bekomme also hier (und im einfacheren Fall ist es natürlich dasselbe) zuerst den Satz (Е3x) φx ∙ (Е2x) ψx ∙ Ind. . ⊃ . (Е3 + 2x) φx ⌵ ψx.