notes from lecture 558894