CS424 Notes, 8 February 2012