use correct quantifier