(∃x).φx
Ist denn (∃x) etc. wirklich eine Operation?