let
e_or =
TERM
.e_or