This is 12.3, problem 13