Went to Leaf's thesis defense and Greg Morisett's (the external committee member of Leaf's thesis committee) talk. Both were rather good. Thought I was going to get some work done in the evening. Sort of did; I made some progress getting numerical results for the project for the Kleinberg class. Mathematica's ContourPlot is, however, recalcitrant in doing what I want. Nearing the end of Genius.