If two systems have identical input-output mappings, positing different internal structures for one ...
This proposition has not been edited since the history system was added.