CS424 Notes, 25 January 2012