Formal identity (strict indistinguishability) may be logically stronger than essential identity even...
This proposition has not been edited since the history system was added.