Updated lecture notes from 2013-05-16