some examples from chapter 11