notes from lecture 556139