Christian Wolff: Exercise 15