Exercises 2.30, 2.31 and 2.32