Update hw12.tex