Once you understand how to write a program get someone else to write it.
We are on the verge: Today our program proved Fermat's next-to-last theorem.
Often it is the means that justify the ends: goals advance technique and technique survives even when goal structures crumble.
C programmers never die. They are just cast into void.
One can't proceed from the informal to the formal by formal means.
If you have a procedure with 10 parameters, you probably missed some.