Remove quantifier