CS424 Notes, 18 April 2012