Definition:Unique Existential Quantifier