Exercises 11 through 18 of LPTHW