CS424 Notes, 15 February 2012