Definition:Exact Existential Quantifier