Made further progress in chapter 6.