Spring 2014 versions of lectures 08 and 09