On the plus side I think I finally finished last night at Wendy's the last of the few proofs I was working on to show that linear and bunched logic both embed faithfully in the labelled system, and there is movie-watchin' in my near future.
---
Edited to add: had my advisor meeting, and it went pretty well. Turns out Frank's idea of what ought to get cut from the paper actually does coincide with my gut inclinations, so I can stop worrying about that. Also now I am reading about measure theory on wikipedia. It is great, and improving my general outlook on the world considerably. I love the format of reasonably short articles about individual mathematical topics that are nonetheless far more detailed and useful than actual encyclopedia articles usually are.
