Up to exercise 7.3.4, Page 253