If identity holds necessarily, the question 'Are they identical?' should be conceptually closed, not...
This proposition has not been edited since the history system was added.