added existential operator