Talked to Rowan Davies for a while about modal logic stuff. Sat in on Concert RG meeting about that Gentzen paper from the 30s that bascially created the entire chunk of proof theory/logic that we all think in terms of.