let
e_band = binop
TERM
.
I_band