Category:Definitions/Unique Existential Quantifier