let separated m z1 z2 = M.separated m.mem (massigned z1) (massigned z2)