 Unlike w1 and w2, w3 and w4 constitute a counterexample to the global supervenience of A-properties on B-properties. They have the same pattern of distribution of B-properties, but different patterns of distribution of A-properties. So, Paull and Sider claim that Petrie failed to show that global supervenience does not entail strong supervenience.