Nadia and Saron discuss Discovering Deeper Abstractions (4.8), Depending on Abstractions (4.9), and the summary to Chapter 4 (4.10).