Updated TKP Lesson 1 doc