Redirecting to Kleene's T predicate