let mk_m2 m2 = create ~m1:Mark.bottom ~m2