 Both Shagrir (2002) and Bennett (2004a) argue that strong individual supervenience is equivalent to strong global supervenience when A and B are sets of intrinsic properties. Bennett also argues that in such a case even weak global supervenience entails strong individual supervenience. The argument relies upon Paull and Sider’s isolation principle, explained in Section 4.3.1 above; the basic idea is to show that any counterexamples to strong individual supervenience can be “isolated” to generate counterexamples to weak global supervenience—i.e., pairs of worlds between which there is a B-preserving isomorphism but no A-preserving one.