Kim's work on supervenience establishes that reductive dependence relations can be asymmetric and ne...