Add example problem 6.13.