tutorial 9.13