[injb]

>>> History has quite a few examples of proofs believed to be correct for years that turned out to be flawed.

>>> I've seen estimates as high as a third of papers have an error.

That is pretty much what I meant by "tend" to be right. If only a third of all the software out there had "an error" that would be a dramatic improvement.