notes from lecture 8234771