Mathematics assumes unconditional identity: '2 + 2 = 4' requires no sortal context, yet remains cohe...
This proposition has not been edited since the history system was added.