(∃xyz) ∙ φ(xyz) kann ich nicht durch (∃3)x … ersetzen obwohl ein Spezialfall φ (abc) lautet & a, b, c 3 sind. Oder sind sie eben nur dann 3, wenn sie gleichberechtigt sind? Man wird wieder auf die Operation 0³ ver hingewiesen.