Don Knuth in his finest