CS424 Notes, 17 February 2012