Truth_terminal (TrT)