A bit more work in chapter 4