Chapter 9: More Logic