An example from chapter 1.