In response, Kim conceded that global supervenience fails to entail strong supervenience (1987, 318), and went on to claim that Petrie’s example also shows that global supervenience fails to entail weak. Notice that w1 alone violates the weak supervenience of A on B, but also fails to be a counterexample to the global supervenience of A on B. Kim thus concluded that global supervenience fails to entail weak or strong individual supervenience.