Chapter 17: Testing Properties