Identifying a formal error doesn't refute the underlying claim if the conclusion happens to be true ...
This proposition has not been edited since the history system was added.