Es wird der Schluß gleichsam in zwei || nach zwei Regeln nacheinander vollzogen. Nach der ersten bilde ich ein vorläufiges Zeichen „(∃(1 + 1 + 1) + (1 + 1 + 1 + 1))” indem ich einfach die beiden Zahlzeichen von links kopiere & nun erst lasse ich die Klammern fallen & bilde (∃1 + 1 + 1 + 1 + 1 + 1 + 1)