notes from lecture 507654