Oops, forgot a few necessary comments in Lesson 6.