Starting point for 15.4.
Exercise 15.4.