CS424 Notes, 23 January 2012