SPAs 6.3.4 fixing bugs in book, TODO: appendix B on TDD