let inter a b = e_app2 mk_inter a b