Functional isomorphism is too strict; it risks circularity by assuming we already know what 'real be...
This proposition has not been edited since the history system was added.