Exercise 12 from exercises and the end of the precourse