let valid m z = M.valid m.mem (massigned z)