Such stuff as dreams are made on

Yesterday morning I spent some time darning the holes in one of my favourite T-shirts. Thanks to mi_guida for teaching me how, but I can't say I rate it too highly as a leisure activity. But then when I tried to go to sleep, I was tormented by visions of thread being darned. Something similar happens to me almost every time I learn a new formal system: at least this one wasn't as bad as the nightmare in first-order predicate logic.

Sorry, that was a spectacularly dull entry.