Iterate(m, B, Result);            OR (m' ~-compatible b))