Identity statements like 'a=a' are analytic and knowable a priori, while 'Hesperus=Phosphorus' requi...
This proposition has not been edited since the history system was added.