"existential operator"@en-us . .