CS424 Notes, 6 February 2012