Exercises from 13.7 to 13.8