OR (m' ~-compatible b))