For each m = Extract(B)  G:3        ((b ~-compatible m'