 The existence of w1 and w2 is incompatible with the thesis that A strongly individually supervenes on B because x in w1 is B-indiscernible but A-discernible from x* in w2. But the existence of these worlds is not itself a counterexample to the global supervenience of A on B. Since w1 and w2 do not have the same global pattern of distribution of B-properties, it seems not to matter that the worlds do not have the same global pattern of distribution of A-properties. Thus Petrie claimed that “since global supervenience is, and strong supervenience is not, consistent with this example, the two concepts of supervenience are not equivalent” (1987, 121).