Ah yes, I love this line: "How to program if you cannot." The fact is, nobody can program, not when programming means building complex systems (pretty much any

Ah yes, I love this line: "How to program if you cannot." The fact is, nobody can program, not when programming means building complex systems (pretty much anything bigger than 30kLoC) absolutely correctly. Not I, not you, not the late Prof. Dr. Dijkstra — nobody. We can't. But we need to build these systems nonetheless. So, "how to program if you cannot" becomes an essential area of study.