 Let us now see what is the case when the supervening and subvening property sets are brought into line with each other. Recall the earlier hypothesis that global and strong individual are equivalent when Paull-Sider style cases are blocked (see Section 4.3.1).  So, then, does strong global entail strong individual when the supervening set contains only intrinsic properties? When the subvening set contains both intrinsic properties and all of the extrinsic properties that can be generated from them?