Kleene's_T_predicate loading ...