Was aber ist der richtige Ausdruck für (∃x) . φx?