The story is 100% veritably folklore. I know this since I've been hearing the story for at least 20 years starring a good half dozen different characters. The

The story is 100% veritably folklore. I know this since I've been hearing the story for at least 20 years starring a good half dozen different characters. The fact that is almost certainly not true (and Knuth has denied it) seems quite irrelevant.