Kim's account preserves dependence without requiring downward causation, solving the exclusion probl...
This proposition has not been edited since the history system was added.