notes from lecture 3400799