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