 Indeed, any number of versions of global supervenience can be formulated, simply by specifying exactly how many A-and-B-preserving isomorphisms there must be between worlds between which there is a B-preserving isomorphism. Such versions all count as forms of intermediate global supervenience, however, and will be ignored in what follows. Notice too that it is not always clear which version is intended when someone appeals to the notion of global supervenience. Shagrir (2002) and Bennett (2004a) suggest that there is some reason to think that people often intend intermediate; Leuenberger (2009) argues that none of the precisified versions really captures the original concept. Shagrir later argued that strong does the most “justice to the notion of global supervenience” (2013).