CS424 Notes, 9 April 2012