Had a couple of really excellent meetings today, one with some of the usual Nobot people, and another one with Vivek. Did I mention that I <3 focusing so much? I really do. I think I sold Vivek on the adjoint logic business I'd been working on, and he gave me a bunch of stuff to think about too. I think I understand why multifocus seems somewhat natural now if you actually look at focalization graphs, but I'm still a bit sketched out by said graphs. I need to look into Kazushige Terui's stuff --- an occasional coauthor with Agata Ciabattoni.