let
e_rneg = unop
TERM
.
R_opp