Add revisions to lecture 3 from just before lecture