CS424 Notes, 27 January 2012