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