Existential operator