Identity statements like A=A are trivial tautologies that express linguistic convention about how we...
This proposition has not been edited since the history system was added.