>>> 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 pap

>>> 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.