One can't proceed from the informal to the formal by formal means.
If a listener nods his head when you're explaining your program, wake him up.
Don't have good ideas if you aren't willing to be responsible for them.
The best book on programming for the layman is Alice in Wonderland, but that's because it's the best book on anything for the layman.
If you have a procedure with 10 parameters, you probably missed some.
Syntactic sugar causes cancer of the semicolon.