Writeup for exercise 1.13