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