Section 1.2.1, exercises 1.9 and 1.10