Exercises in 12.6.