A bit of work on chapter 9