(Ähnlichkeit mit (∃x) φx etc.)