Update practice7.tex