let e_not = TERM.e_not