notes from lecture 142672