> How many of you are proving your programs correct before entering them into the computer? Not enough of us, that's how many. Also, if he said this back when

> How many of you are proving your programs correct before entering them into the computer? Not enough of us, that's how many. Also, if he said this back when the majority of programs were written in assembly I think it makes a lot more sense.