on exercise 1.13