let e_zero  = TERM.e_zero