Tracking background assumptions is legitimate work for logic—distinguishing formal validity from mat...
This proposition has not been edited since the history system was added.