The distinction between saying and showing preserves logic's foundational role while avoiding the se...
This proposition has not been edited since the history system was added.