Man könnte die Argumente auch so einfuhren daß sie nur auf einer Seite des Gleichheitszeichens
auftreten. Also immer analog „(Ex) ∙ φx ∙ x = a” statt „φa”