Don Knuth and Gaston Gonnet