let inter ma mb = 
    let m1 = Mark.inter ma.T.m1 mb.T.m1 in
    let m2 = Mark.inter ma.T.m2 mb.T.m2 in
      mk_m m1 m2