CS424 Notes, 18 Jan 2012