Kim's (1984) counterexamples show global supervenience is compatible with radical property-level var...