> substantial programs (thousands of lines) Well, yes, with incredibly tiny programs like that, it's possible to be bug free. With real world programs that oft

> substantial programs (thousands of lines) Well, yes, with incredibly tiny programs like that, it's possible to be bug free. With real world programs that often run to 100x-1,000x that size, you aren't going to completely avoid bugs just by thinking carefully about what you write.