Exercises 1.1.12 and 1.1.13