made the Knuth quote fuller