quantifier pro