did some of the koch problems, and commented up 9.2 for submission