Add Knuth quote