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