let minus_pointer = e_app2 mk_minus_pointer