Inter-theoretic reduction requires explaining why higher-level laws hold, not merely correlating sol...
This proposition has not been edited since the history system was added.