Lecturer: Paul Eggert, Fall 2013