The knockout mouse project

Mouse knockout technology provides a powerful means of elucidating gene function in vivo, and a publicly available genome-wide collection of mouse knockouts would be significantly enabling for biomedical discovery. To date, published knockouts exist for only about 10% of mouse genes. Furthermore, many of these are limited in utility because they have not been made or phenotyped in standardized ways, and many are not freely available to researchers. It is time to harness new technologies and efficiencies of production to mount a high-throughput international effort to produce and phenotype knockouts for all mouse genes, and place these resources into the public domain.     

Formation of chiral morphologies through selective binding of amino acids to calcite surface steps.

Many living organisms contain biominerals and composites with finely tuned properties, reflecting a remarkable level of control over the nucleation, growth and shape of the constituent crystals. Peptides and proteins play an important role in achieving this control. But the general view that organic molecules affect mineralization through stereochemical recognition, where geometrical and chemical constraints dictate their binding to a mineral, seems difficult to reconcile with a mechanistic understanding, where crystallization is controlled by thermodynamic and kinetic factors. Indeed, traditional crystal growth models emphasize the inhibiting effect of so-called 'modifiers' on surface-step growth, rather than stereochemical matching to newly expressed crystal facets. Here we report in situ atomic force microscope observations and molecular modelling studies of calcite growth in the presence of chiral amino acids that reconcile these two seemingly divergent views. We find that enantiomer-specific binding of the amino acids to those surface-step edges that offer the best geometric and chemical fit changes the step-edge free energies, which in turn results in macroscopic crystal shape modifications. Our results emphasize that the mechanism underlying crystal modification through organic molecules is best understood by considering both stereochemical recognition and the effects of binding on the interfacial energies of the growing crystal.     

A Robertsonian translocation suppresses a somatic recombination pathway to loss of heterozygosity

In mammals, loss of APC/Apc gatekeeper function initiates intestinal tumorigenesis. Several different mechanisms have been shown or proposed to mediate functional loss of APC/Apc: mutation in APC/Apc, non-disjunction, homologous somatic recombination and epigenetic silencing. The demonstration that, in the C57BL/6 (B6) Apc(Min/+) mouse model of inherited intestinal cancer, loss of Apc function can occur by loss of heterozygosity (LOH) through somatic recombination between homologs presents an opportunity to search for polymorphisms in the homologous somatic recombination pathway. We report that the Robertsonian translocation Rb(7.18)9Lub (Rb9) suppresses the multiplicity of intestinal adenomas in this mouse model. As the copy number of Rb9 increases, the association with the interphase nucleolus of the rDNA repeats centromeric to the Apc locus on Chromosome 18 is increasingly disrupted. Our analysis shows that homologous somatic recombination is the principal pathway for LOH in adenomas in B6 Apc(Min/+) mice. These studies provide additional evidence that neoplastic growth can initiate in the complete absence of canonical genomic instability.     

Towards a Theory of Mathematical Argument

In this paper, I assume, perhaps controversially, that translation into a language of formal logic is not the method by which mathematicians assess mathematical reasoning. Instead, I argue that the actual practice of analyzing, evaluating and critiquing mathematical reasoning resembles, and perhaps equates with, the practice of informal logic or argumentation theory. It doesn’t matter whether the reasoning is a full-fledged mathematical proof or merely some non-deductive mathematical justification: in either case, the methodology of assessment overlaps to a large extent with argument assessment in non-mathematical contexts. I demonstrate this claim by considering the assessment of axiomatic or deductive proofs, probabilistic evidence, computer-aided proofs, and the acceptance of axioms. I also consider Jody Azzouni’s ‘derivation indicator’ view of proofs because it places derivations—which may be thought to invoke formal logic—at the center of mathematical justificatory practice. However, when the notion of ‘derivation’ at work in Azzouni’s view is clarified, it is seen to accord with, rather than to count against, the informal logical view I support. Finally, I pose several open questions for the development of a theory of mathematical argument.