truth_terminal (truth)