hw7/soln.tex: more Q1