Add Michael Dietch's hw7.