final version of lecture 1, after class