Update assignment7.tex