To clarify these ideas for the reader, let us show, without the axiom of choice, that a product of finitely many nonempty sets is nonempty: This is done by induction on the number n of sets. […] The finite axiom of choice is not an axiom, but rather a theorem that can be proved from the other axioms. In contrast, there are weak forms of the axiom of choice that are not provable.

Half the marvels of my morning, triumphs over time and space, / Staled by frequence, shrunk by usage into commonest commonplace!

Henry Kissinger stopped off in Kabul to show the flag for a few hours in 1974.

When he gets to third, Fe'ao is excited. He sees Curaçao's thir baseman, Denjerick Virginie, starting at him as he slaps his hands together. What you looking at, popolo? he barks.