added Exercises 4.12 and 4.13