There exist

Redirect to:

• Existential quantification