let
e_ineg = unop
TERM
.
I_opp