Fix quantifier