Solution to Exercise 1.7