initial parts of lecture 2014-05-09