One and only one

Redirect to:

  • Uniqueness quantification