let e_and = TERM.e_and