let
e_and =
TERM
.e_and