CS424 Notes, 2 April 2012