What sticks in my mind the most about this was the estimates on the part of PC manufacturers, of the estimates of the probability of a spreadsheet user, for example, running across this bug. Thinking through the problem carefully, there was no way to calculate such a probability.