Self-identity (x=x) is a logical relation, not a real composition; logic doesn't carve nature at joi...
This proposition has not been edited since the history system was added.