The beginning of problem 7.