fancybred, and Kevin was present near the end, in which fancybred talked about the classical proof of completeness of Kripke semantics for intuitionistic logic. Turns out it was not merely "kind of aesthetically unpleasant" at all, but completely hogwash from an intuitionistic standpoint. Not that I'm particularly allergic to classical logic myself, but it seems strange that a result about the topic of constructive logic wouldn't itself be done in a constructive manner if at all possible, and indeed it seems possible.Played "1,000 blank white cards" with jen and mark and sally and mike and ellie and... some one of sally's friends whose name I forgot, and it was a total laugh riot.