 But strong global supervenience fails to entail strong individual supervenience, at least when A and B are any nonempty sets of properties. Showing this only requires tiny modifications to Paull and Sider’s argument that the notion of global supervenience spelled out just in terms of world-wide patterns of distribution of properties fails to entail strong individual supervenience (Section 4.3.1), and so we will not state the argument here. (See Shagrir 2002, 188.)  Once again, the key to the argument is a case in which the supervening set contains extrinsic properties, and the subvening set does not.