I really dislike the footnote [3]. I think he shouldn't argue that the remaining margin of error doesn't matter, but instead should argue that it happens less o

I really dislike the footnote [3]. I think he shouldn't argue that the remaining margin of error doesn't matter, but instead should argue that it happens less often. This is why safety critical systems are sometimes verified using model checking and so on. In some cases (airplanes, etc) even the best programmers cannot garuantee a necessary level of quality. In your every day app where a user could crash teh program by using an obscure value, this still IS a significant problem. Especially if the error happens rarely it mike take a lot of time to be noticed for the first time and might have critical impact (loss of money?) by that time. The important point is that the great developer will introduces less of those subtle errors.