Ditto as above. For people who can't tell the difference between pattern matching vs. recursor it will be helpful to have a pointed to the other thing, with a comment. Again, this is not supposed to be a collection of solutions. The purpose of this file is to connect the book and the library.