No, seriously, I’m supposed to be building up the sets of natural numbers, integers, rational numbers, real numbers and complex numbers – and all the operations thereupon – from a few axioms. But I’m not. It’s terribly interesting, don’t get me wrong. But I’m restless this morning and I can’t concentrate on them. I’ve been ...