use quantifier