CS424 Notes, 20 January 2012