Redirecting to Predicate logic