Exercise 2.3... phew!
Example 2.5