notes from 2013-06-12 office hours