The argument assumes representational structure mirrors external structure, but this isometry itself...
This proposition has not been edited since the history system was added.