let
e_true =
TERM
.
Ttrue