Exercises 1.1.30 and 1.1.31