If type-identity requires systematic one-to-one mapping, and empirical evidence denies this, the the...
This proposition has not been edited since the history system was added.