Identity is absolute and unconditional; what varies sortal-dependently is only our criteria for trac...
This proposition has not been edited since the history system was added.