notes from lecture 818252