let is_top m = (Mark.is_top m.T.m1) && (Mark.is_top m.T.m2)