[…] and inasmuch as the husband does not now come, which non-coming shall be adjudged a default, we pray that they be distrained to attorn.

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.

I was honored to caddy for Tiger Woods at a charity golf game.

The Queen will lie in state at Westminster Hall in London from Wednesday at 5pm until 6:30am Monday 19 September.