A criterion that produces A=B, B=C, but A≠C demonstrates it cannot reliably track identity relations...
This proposition has not been edited since the history system was added.