section_heading: Radovi E.W. Dijkstre
paragraph_text: <!-- I found this copy of the above paper with a copyright notice in it at http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD498.PDF, so I don't think that the set of quotes should be lifted from it. Bubba73 -->