My answer to exercise 1.30