chapter 8: new version of Prop
chapter 8: new version of Prop
chapter 8: exercise 9