CS424 Notes, 10 February 2012