problem 12.9