Without this framework, we cannot distinguish valid inferences (parts→whole) from invalid ones, leav...
This proposition has not been edited since the history system was added.