Dealing with failure is easy: Work hard to improve. Success is also easy to handle: You’ve solved the wrong problem. Work hard to improve.
One can’t proceed from the informal to the formal by formal means.
Purely applicative languages are poorly applicable.
The proof of a system’s value is its existence.
You can’t communicate complexity, only an awareness of it.