Exercise 1 from DFI 2.