notes from lecture 639019