Work done on Section 1.2, up to exercise 1.13