Like the tank wagons, the churns are dairy property, but farmers often have other ideas, and find their own uses for them—it has not been unknown for dairy inspectors to find missing churns tucked away in an unsuspected corner of a farmhouse, filled to the brim with banknotes!

Gentzen also wrote down inference rules suitable for the intuitionistic propositional and predicate calculi. These rules lack the mirror symmetry of the classical case. But in the 1980s, this symmetry was restored by Girard’s invention of ‘linear logic’ [43].

“I don't see the hang of so much talky-talky,” broke in Uncle Sam. “We've heard all that can be said about things, […]

Their disposition, according to the quality of their arms, is thus: first of all march their shot, that is, calievers, for muskets they have none, neither will they use any; then follow pikes, then cattans and targets, bows and arrows, waggadashes or hooks, and lastly, calievers again close the march ; and among all these they, have no colours, drums, trumpets, nor any sort of warlike music.