G:4              If (m' ~-compatible b)