Deactivated quantifier temporarily