Add problem 12.13