First example in chapter 4