Explaination for Exercise 5.12