Existential operator :)