End of examples from chapter 7