notes from lecture 408322