[knuth.gif]