What about the Code Complete examples posted somewhere on this thread? ("above", at the moment)? What about checkable specifications together with a comment ex

What about the Code Complete examples posted somewhere on this thread? ("above", at the moment)? What about checkable specifications together with a comment explaining the formula, particularly for anything with a nice physical intuition? This kind-of addresses the out-of-date comment problem. Another example which came to mind is a Lamport comment about some sort of layout-related thing, I can't remember specifics. The comment gives a really good intuitive feel for why his code produces a nice-looking layout. Without the physical intuition provided by the comment, the code is pretty difficult to grok. I can't find it, so I really hope I'm not making this up... edit: 2nd par