Without principled criteria for individuating Sinn, we cannot explain why 'a=a' and 'a=b' differ in ...
This proposition has not been edited since the history system was added.