I've spent the last two days working on a paper for ACMSE, whose submission deadline has been extended till the 25th. I working up the list resolution technique from my master's thesis into a general discussion of list resolution techniques in grammar hacking. I'm pretty happy with what I've got thus far, but I am getting tired of working on the damn thing. We head up to my sister's in Birmingham this afternoon, and it looks like I'll be spending some of the evening hacking on this paper.