 Often, claims of the form ‘there cannot be an A-difference without a B-difference’ are not made about individuals, nor about nonmaximal space-time regions, but rather about entire possible worlds. This is global supervenience, typically formulated as follows: