This pair of worlds shows that A does not strongly supervene on B. And the principle of isolation cannot be applied to generate a counterexample to global supervenience. An isolated duplicate of a would be both A- and B-indiscernible from c (an isolated duplicate of a would not have M). Consequently, Paull and Sider concluded that global and strong supervenience are not equivalent. (1992, 841).