Formal distinction threatens the logical principle that if A is identical to B and B is identical to...
This proposition has not been edited since the history system was added.