Based on a complaint that the math studied so far could hardly be termed ``preliminaries'', it was decided that a more appropriate title for Chapter 2 would be Advanced Math. (but not too advanced) and Semantics of a Typical Functional Higher-order Programming Language.