Definition:Uniqueness Quantifier