Kim's own analysis distinguishes weak, strong, and global supervenience precisely to capture substan...