Exercise 9.3 (Solutions)