TRUTH_TERMINAL_CAT (CAT)