Identity claims require sortal criteria to avoid contradiction (e.g., 'same substance' vs 'same pers...
This proposition has not been edited since the history system was added.