Redirecting to Functional predicate