Exercise 3.1 solved