There exists
Redirect to:
Existential quantification