existential operator Synonyms