Added some lecture 9 stuff