Wir können uns ja auch eine logische Summe denken:
⌊⌊[Hier bedeutet (Е …) es gibt nur]⌋⌋
    ([|Е]x) φx ∙ (Еx) ψx ⌵
⌵ (Еx[)|y]) φx ∙ φy ∙ (Еxy)ψx ∙ ψy
⌵ (Еx,y,z) φx ∙ φy ∙ φz ∙ (Еxyz)ψxψyψz ⌵
⌵ (Еxyzu etc.
Und das könnte man schreiben: (Еn)nφ ∙ nψ
und hier enthält das n die Formenreihe oder ist die variable Form.