A single verified counterexample meets the standard burden of proof for falsifying a universal claim...
This proposition has not been edited since the history system was added.