lecture notes from 2014-08-04