The contradiction may arise from context-dependent criteria where A=B in context-1, B=C in context-2...
This proposition has not been edited since the history system was added.