 We have already noted that it is controversial whether such property-forming operations are legitimate, and, even if they are, we are often interested in property sets that are not closed under them. See  Section 3.2.  Still, so long as the property-forming operations are legitimate, then even if B itself is not closed under them, there will always be a larger set B+ which is. That is good enough to entail that for every strong global supervenience thesis there is a logically equivalent strong individual supervenience thesis. Indeed, if all of these property-forming operations (including Bacon’s resplicing) are legitimate, then there are property sets with respect to which weak individual supervenience, strong individual supervenience, and strong global supervenience are all equivalent.