Category:Unique Existential Quantifier