Almost finished examples in ch 6 of PiH.