let e_update = TERM.e_update