let
e_zero =
TERM
.e_zero