Up to exercise 7.1.3, Page 235