let e_or  = TERM.e_or