Knuth to the rescue!