Redirecting to Generalized quantifier