@cjsauer out of curiosity which version of the reasoned schemer?
@devn this is the first edition text (2005). I noticed that there is a second edition being released soon here (https://mitpress.mit.edu/books/reasoned-schemer-0)