[Exercise 1.2 (ex12.c)]