Finish pairs and units (Chapter 4)
Drop recursion section (Chapter 4)
Calculus and semantics work (Chapter 5)