Exercise 3.2 definition