Loop Invariant

I found the Tao of Programming again during one of my morning web wandering sessions, it reminds me of the early Internet (early for me anyways) those halcyon days of 1996 when search engines were a new novelty and 'surfing the web' as a term was used to describe the practice of clicking through links from one page to another. And a time when I would guess a quarter of all web pages were humour pages with jokes about Klingon programmers. Anyway it has gems such as this

Thus spake the master programmer:
``You can demonstrate a program for a corporate executive, but you can't make him computer literate.''

hmm.