Thesis hacking solid between 12:15ish and 17:15ish today. Up to about 50 pages total (woo whitespace and pages of inference rules), but I think I will probably tweak down the font size and/or up the margins.