 Strong global supervenience entails strong individual supervenience as long as the base set B is taken to be closed under complementation, infinitary conjunction, infinitary disjunction, and property-forming operations involving quantification and identity. Kim anticipates this equivalence (1993, 170), and Robert Stalnaker provides the proof (1996, 238). It should also be noted that John Bacon argues that if sets of properties A and B are closed under the operations mentioned above and also an operation he calls “resplicing,” then weak and strong individual supervenience both hold or fail to hold together (1986). For B to be closed under resplicing is for it to be the case that for any property P such that its extension Pw in a world w is the extension of some property in B, P is a member of B.