CS424 Notes, 5 March 2012