Kleene's_T_predicate