Additions to lecture 3.