Quine's criterion avoids circularity: if sortals determined identity, we'd need prior criteria to ch...
This proposition has not been edited since the history system was added.