truth_terminal (TRUTH_TERM)