Even formal logical derivations require substantive premises about time, knowledge, and modality tha...
This proposition has not been edited since the history system was added.