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