Sortals classify objects post hoc; the identity relation itself must operate on determinate entities...
This proposition has not been edited since the history system was added.