CS1332 in Fall 2013 with Bob Waters