Finished HW7.tex