Begin of examples from chapter 7