Redirecting to Bounded quantifier