Spotted Dick

This is a little video I made especially for my friend Richard Anderson.

I bare women's grudges. It's an old habit of mine.

Well, which would you prefer, ... me, or, ...

?

Tough decision, isn't it? I'll give you a clue. Things each equal to the same thing are things equal to each other. As Lewis Carroll pointed out so carefully, so that freemasons wouldn't forget, when Euclid says "Things each equal to another thing are equal to each other" to get it to make sense you have to assume that what is meant is not that they are the same thing, because two things cannot be the same thing. So the simplest way to interpret this seems to be to assume that the pronoun things is quantified, which means it appears as a bound variable, and that variable has a pair of values bound to it. This might shed some light on the way pairing is effected in System F. This book, Proofs and Types, was conceived on a train, at the same time as a bubonix pox broke out, so beware! 😂