CS424 Notes, 22 February 2012