Differences in male coloration are predicted by divergent sexual selection between populations of a cichlid fish

Female mating preferences can influence both intraspecific sexual selection and interspecific reproductive isolation, and have therefore been proposed to play a central role in speciation. Here, we investigate experimentally in the African cichlid fish Pundamilia nyererei if differences in male coloration between three para-allopatric populations (i.e. island populations with gene flow) of P. nyererei are predicted by differences in sexual selection by female mate choice between populations. Second, we investigate if female mating preferences are based on the same components of male coloration and go in the same direction when females choose among males of their own population, their own and other conspecific populations and a closely related para-allopatric sister-species, P. igneopinnis. Mate-choice experiments revealed that females of the three populations mated species-assortatively, that populations varied in their extent of population-assortative mating and that females chose among males of their own population based on different male colours. Females of different populations exerted directional intrapopulation sexual selection on different male colours, and these differences corresponded in two of the populations to the observed differences in male coloration between the populations. Our results suggest that differences in male coloration between populations of P. nyererei can be explained by divergent sexual selection and that population-assortative mating may directly result from intrapopulation sexual selection.

Complete medical record of President Garfield's case, containing all of the official bulletins, from the date of the shooting to the day of his death, together with the official autopsy, made September 20, 1881, and a diagram showing the course taken by the ball.

The two preliminary leaves (t.-p. and preface) duplicated.

Divergent selection and the evolution of signal traits and mating preferences

Mating preferences are common in natural populations, and their divergence among populations is considered an important source of reproductive isolation during speciation. Although mechanisms for the divergence of mating preferences have received substantial theoretical treatment, complementary experimental tests are lacking. We conducted a laboratory evolution experiment, using the fruit fly Drosophila serrata, to explore the role of divergent selection between environments in the evolution of female mating preferences. Replicate populations of D. serrata were derived from a common ancestor and propagated in one of three resource environments: two novel environments and the ancestral laboratory environment. Adaptation to both novel environments involved changes in cuticular hydrocarbons, traits that predict mating success in these populations. Furthermore, female mating preferences for these cuticular hydrocarbons also diverged among populations. A component of this divergence occurred among treatment environments, accounting for at least 17.4% of the among- population divergence in linear mating preferences and 17.2% of the among-population divergence in nonlinear mating preferences. The divergence of mating preferences in correlation with environment is consistent with the classic by- product model of speciation in which premating isolation evolves as a side effect of divergent selection adapting populations to their different environments.

Movement and figurality: The circulation diagram and the history of the architectural plan

Knowledge of the plan competes with self-consciousness of experience. The less we are able to understand our spatio-visual experience by the abstract coordinates of the plan, the more we are thrust back into a lived experience of the building in duration. This formula, frequently unacknowledged, has been one of the main precepts of the experientialist modernism which arises out of the picturesque and which stands in critique of classical idealism. One of the paths to critique this formula is by showing that the attention to the experience of the spaces in duration is predicated on obscuring, complicating and weakening the apprehension of the plan as a figure. Another development in the practice of modern planning has been architects using a kind of over-drawing where human circulation diagrams or 'movement lines' are drawn expressively across the orthographic plane; thus representing the lived experience of buildings. We will show that these two issues are linked; the plan's weak figure and the privilege this supposes for durational experience has a corollary - experience itself demands to be visible in the plan, and this is one origin of the present fascination with 'diagramming'. In this paper we explore the practice of architectural planning and its theoretical underpinnings in an attempt to show the viability of a history of architectural planning methods.

The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction

Coinduction is a proof rule. It is the dual of induction. It allows reasoning about non--well--founded structures such as lazy lists or streams and is of particular use for reasoning about equivalences. A central difficulty in the automation of coinductive proof is the choice of a relation (called a bisimulation). We present an automation of coinductive theorem proving. This automation is based on the idea of proof planning. Proof planning constructs the higher level steps in a proof, using knowledge of the general structure of a family of proofs and exploiting this knowledge to control the proof search. Part of proof planning involves the use of failure information to modify the plan by the use of a proof critic which exploits the information gained from the failed proof attempt. Our approach to the problem was to develop a strategy that makes an initial simple guess at a bisimulation and then uses generalisation techniques, motivated by a critic, to refine this guess, so that a larger class of coinductive problems can be automatically verified. The implementation of this strategy has focused on the use of coinduction to prove the equivalence of programs in a small lazy functional language which is similar to Haskell. We have developed a proof plan for coinduction and a critic associated with this proof plan. These have been implemented in CoClam, an extended version of Clam with encouraging results. The planner has been successfully tested on a number of theorems.

Random Mating Between Two Widely Divergent Mitochondrial Lineages of Cryptolestes ferrugineus (Coleoptera: Laemophloeidae): A Test of Species Limits in a Phosphine-Resistant Stored Product Pest

Effective pest management relies on accurate delimitation of species and, beyond this, on accurate species identification. Mitochondrial COI sequences are useful for providing initial indications in delimiting species but, despite acknowledged limitations in the method, many studies involving COI sequences and species problems remain unresolved. Here we illustrate how such impasses can be resolved with microsatellite and nuclear sequence data, to assess more directly the amount of gene flow between divergent lineages. We use a population genetics approach to test for random mating between two 8 ± 2% divergent COI lineages of the rusty grain beetle, Cryptolestes ferrugineus (Stephens). This species has become strongly resistant to phosphine, a fumigant used worldwide for disinfesting grain. The possibility of cryptic species would have significant consequences for resistance management, especially if resistance was confined to one mitochondrial lineage. We find no evidence of restricted gene flow or nonrandom mating across the two COI lineages of these beetles, rather we hypothesize that historic population structure associated with early Pleistocene climate changes likely contributed to divergent lineages within this species.