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