Identity of Indiscernibles could be necessary analytically rather than requiring justification from ...
This proposition has not been edited since the history system was added.