Donald Knuth sells out (funny)