One can't proceed from the informal to the formal by formal means.
In English every word can be verbed.
There are two ways to write error-free programs; only the third one works.
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.
When a professor insists computer science is X but not Y, have compassion for his graduate students.
Optimization hinders evolution. Everything should be built top-down, except the first time. Simplicity does not precede complexity, but follows it.