 These are versions of individual supervenience; global versions can also be formulated. Strong implies weak, but not conversely, except for the special case of intrinsic properties. (The latter can be shown by slight modification of Moyer’s argument mentioned in Section 4.3.4.)