CS424 Notes, 1 February 2012