G:3        ((b ~-compatible m'