A conditional proof corresponds to the application of what Douglas Hofstadter calls the Fantasy Rule in his masterwork GEB:EGB. Surprisingly, the theory of propositional calculus which he develops in GEB:EGB employs several inference rules but no axioms: the need for any axioms is done away with through application of the Fantasy Rule.

That the Seeds were able to parlay their distinctly limited talents as writers, singers and musicians into a rather long and successful career is one of the more miraculous stories in rock fabledom.

The “deceptively spacious” cliche is accurate in the case of this house near the corner of Castlepark Road and Hyde Road: from the front, it looks like a traditional 1930s home. But the current owners, who moved here 23 years ago, have extended it three times since then; now, with two levels at the back, it has 346sq m (3,725sq ft) of space.

Stepping back he pulled the window abstractedly but bangingly down, and leaning against the wall in the quietness began to read.