Knuth is just a treasure.