Redirecting to Branching quantifier