Add solutions for Exercises 4.11 and 4.12