Exercises 4.01 -- 4.09