"In addressing human readers, we believe an open-ended, somewhat informal notation is preferable to the straightjacket of any one programming language. The latter becomes necessary if and when we execute a program, but during the incubation period when our understanding slowly grows toward a firm grasp of an idea, supporting intuition is much more important than formality." -- Nievergelt
