Simplifying the examples a bit in Chapter 3