Statt „(∃xyz)” kann ich überall dort „(∃3)x” schreiben wo das was danach kommt im Bezug auf alle drei Argumente dasse[l|b]e aussagt.

Π(x,y) ∙ φx ∙ φy      Π(2x) ∙ φx      Π(2)xφx

Σ(x,y) ∙ φx ∙ φy      Σ(2x) ∙ φx      Σ(2)xφx