The debate began when Kim purported to show that “global supervenience is nothing but strong supervenience” (1984, 168). In response, Brad Petrie (1987) argued that global supervenience does not entail strong supervenience. His strategy was to try to provide a counterexample to a strong supervenience thesis that is not a counterexample to the corresponding global supervenience thesis. Here is his case. Let set A = {S} and that B = {P}. Consider two worlds w1 and w2 that are as follows: world w1