Added crappy proof and started hw2 report