UPDATE: This post used to contain a conjecture that turns out to be false, as I realised about 2 minutes after writing the post.

Did I mention I’m enjoying doing logic work less than I usually enjoy philosophy? Of course that’s in part because in logic there are rules, and if you’re wrong telling an amusing anecdote won’t do much to cover up that fact. Which is, on the whole, a good thing about logic. But not so much when you’re so often wrong.