Knuth's project