Complete exercise 3.5.2