Without sortal commitment, we cannot answer 'is this the same F?' versus 'same G?'—suggesting identi...
This proposition has not been edited since the history system was added.