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.

Why then should man, teasing the world for grace, / Spoil his salvation for a fierce miscreed?

Hurt/comfort stories often contain enough gore to send shivers down the back of activists concerned with the conflation of sex and violence.

“Noodle that thought around for a while,” said Dr. Johnson to his Biblical Interpretations class.