[Exercise 2.3 (ex23.c)]