I'm quite disappointed in Knuth's dismissal. As the "king of algorithms", he of all people, should appreciate the leap. To put it another way, imagine if one of his students came to him with this question: I want to write an algorithm that given any of those 20 sample questions and others similar to them, gives this kind of answer. I couldn't find such algorithm in your books. What am I missing?