Well, if He's not the one demostrating P = NP or P != NP, some other will have to take the token. That's life. Anyway, Knuth is a great hacker, having my respec

Well, if He's not the one demostrating P = NP or P != NP, some other will have to take the token. That's life. Anyway, Knuth is a great hacker, having my respect and admiration.