On page 43 of the pdf book, under section 2.12 "Pattern Matching again", the second-to-last example: [H T] "cat" Succeeds H ->99, T ->"at". Why is the value assigned to T-> "at" and not "97116"? thanks, --Prakash