 If all of these results are right, then weak individual supervenience, strong individual supervenience, weak global supervenience, intermediate global supervenience, and strong global supervenience are all equivalent in the special case when A and B are sets of intrinsic properties.