Book chapter 3 after example 3.11 demo