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.

Amnesty International’s legal memorandum, Universal Jurisdiction: the duty of states to enact and implement legislation, documents more than 125 states that have universal jurisdiction over at least one of the crimes. The organization is campaigning for all states to enact universal jurisdiction legislation over all six crimes.https://web.archive.org/web/20091109030738/http://www.amnesty.org/en/international-justice/issues/universal-jurisdiction

Mum bagsed being the priestess who got to dangle Stone over the volcano by his ankles.

Twisted pairs are major components of the public telephone network. They are the dominant bearers in the local loop. In addition, twisted pairs are used extensively for on-premises wiring for enterprise installations.