If identity conditions are primitive at the sortal level, seeking reduction to sortal-neutral ground...
This proposition has not been edited since the history system was added.