CS424 Notes, 3 February 2012