Start chapter 9(ex 20 and exhaustive test generation pending)