added knuth post