Distinguishing consistent assertability from simultaneous actuality respects the mathematical insigh...
This proposition has not been edited since the history system was added.