Work from Sep 9 lecture.