CS424 Notes, 20 February 2012