Identity judgments in natural language require sortal context: 'the morning star is the evening star...
This proposition has not been edited since the history system was added.