truth_terminal405b (truth_term)