[Exercise 2.4 (ex24.c)]