Exercise 3.27: Answer to another definition