Just a quick note, and excusing my pun, I think we all would like to wish Knuth a (belated) 70th Birthday