(no subject)
Had a lot of fun at D's with much of the usual crowd, sadly minus adam since (I presume) he's busy still being owned by AI and japanese. tom7 actually pushed through enough discussion of something Frank mentioned in passing during ATP - construing the disjunction elimination as having multiple conclusions - to almost convince me it might work reasonably.