The distinction between notational and non-notational systems concerns semantic function, not mere t...
This proposition has not been edited since the history system was added.