truth_terminal (truth_term)