For the arithmeticity of the axioms of PA—i. e. the claim that they can be seen as true on the basis of our basic grasp of the structure of the natural numbers—is motivated by Isaacson by appealing to the categoricity of PA 2, the second-order theory which provides us with a categorical characterization of the natural numbers as the smallest structure closed under a one-to-one successor operation and containing an element which is not the successor of any element.

Those years comprise (among other drolleries) a complete reversal of public untaste; nonobjective art, once anathematized, being now de rigeur.

Newly developed biomarkers (MNi: micronuclei; NPBs: nucleoplasmic bridges; NBUDs: nuclear buds) in the cytokinesis-blocked micronucleus cytome assay were used to detect chromosomal damage, showing that 1,3-butadiene exposed workers have increased frequencies of MNi and NPBs compared to control subjects.

Pissed, the Iceman sends his bodyguard, the Gravedancer, off to learn who is behind them.