This are some examples from chapter 7