Update hw25.tex