Quantifier shift