Exercise 3.2 solved