let
e_not =
TERM
.e_not