1. What is the Problem of Personal Identity?Locke posed the problem of personal identity in one brief question, “What makes the same person?” This formulation is deceptively simple. My aim is to offer a new interpretation of the problem and to suggest a method for finding a solution.Investigations of personal identity are usually cast in terms of finding the criterion for personal identity. Yet talk of criteria is ambiguous. In one sense of the term, the criterion of personal identity would (...) be special evidence for personal identity. According to the second usage, the criterion of personal identity would be that state of affairs for which evidence for personal identity is evidence. We will not be concerned with the first construal. On that reading, the problem of personal identity would be an epistemological issue. But the basic question concerning personal identity, “What is one person?” does not appear to be an epistemological question. (shrink)

I defend a view of the species category, pluralistic realism, which is designed to do justice to the insights of many different groups of systematists. After arguing that species are sets and not individuals, I proceed to outline briefly some defects of the biological species concept. I draw the general moral that similar shortcomings arise for other popular views of the nature of species. These shortcomings arise because the legitimate interests of biology are diverse, and these diverse interests are reflected (...) in different legitimate approaches to the classification of organisms. In the final section, I show briefly how the pluralistic approach can help to illuminate some areas of biological and philosophical dispute. (shrink)

My title question as it stands is ambiguous, and is in want of some initial clarification. Does the question ask how the explanandum is logically related to the explanans? Or does it ask about the details of the dynamics of the explanation speech-act? Or does it ask how the linguistic ambiguities of explanation questions and answers should properly be unpacked? Or does it ask yet some other question? The ways of studying explanation, like the ways of understanding the world, are (...) many and varied. By this, I mean more than that the phenomenon of explanation can be studied as it arises in the different disciplines of biology, physics, the social sciences, and the like. Rather, I mean that there are varied disciplines of explanation-study itself. For example, the Hempelian tradition has largely focused on the logic of explanation, and others have focused on the linguistic, psychological, social, and epistemological angles of explanation. Thus, it is not appropriate for me to begin by arguing that explanation is a set of logically related statements or a speech-act , but appropriate instead to begin by specifying the explanatory discipline within which I ask my title question. (shrink)

There has been a growing trend to include non-causal models in accounts of scientific explanation. A worry addressed in this paper is that without a higher threshold for explanation there are no tools for distinguishing between models that provide genuine explanations and those that provide merely potential explanations. To remedy this, a condition is introduced that extends a veridicality requirement to models that are empirically underdetermined, highly-idealised, or otherwise non-causal. This condition is applied to models of electroweak symmetry breaking beyond (...) the Standard Model. (shrink)

Recently, it has been debated as to whether understanding is a species of explanatory knowledge. Those who deny this claim frequently argue that understanding, unlike knowledge, can be lucky. In this paper I argue that current arguments do not support this alleged compatibility between understanding and epistemic luck. First, I argue that understanding requires reliable explanatory evaluation, yet the putative examples of lucky understanding underspecify the extent to which subjects possess this ability. In the course of defending this claim, I (...) also provide a new account of the kind of ‘grasping’ taken to be central to understanding. Second, I show that putative examples of lucky understanding unwittingly deploy a kind of luck that is compatible with knowledge. Finally, appealing to a number of works on explanation and its attendant epistemology, I argue that alleged instances of lucky understanding that overcome these two obstacles will invariably violate certain norms of explanatory inquiry – our paradigmatic understanding-oriented practice. By contrast, knowledge of the same information is immune to these criticisms. Consequently, if understanding is environmentally lucky, it is always inferior to the understanding that a corresponding case of knowledge would provide. (shrink)

This paper places formal learning theory in a broader philosophical context and provides a glimpse of what the philosophy of induction looks like from a learning-theoretic point of view. Formal learning theory is compared with other standard approaches to the philosophy of induction. Thereafter, we present some results and examples indicating its unique character and philosophical interest, with special attention to its unified perspective on inductive uncertainty and uncomputability.

Are attributions of content and function determinate, or is there no fact of the matter to be fixed? Daniel Dennett has argued in favor of indeterminacy and concludes that, in practice, content and function cannot be fixed. The discovery of an electrical modality in vertebrates offers one concrete instance where attributions of function and content are supported by a strong scientific consensus. A century ago, electroreception was unimagined, whereas today it is widely believed that many species of bony fish, amphibians, (...) sharks, skates, and rays possess this non-human sensory modality. A look at the history of science related to this discovery reveals a highly interdisciplinary endeavor, encompassing ethology, behavioral analysis, neuroscience, and evolutionary biology. While each area provides important evidence, none is sufficient on its own to fix content and function. Instead, I argue that an interdisciplinary, neuroethological approach is required to carry out such determinations. Further, a detailed consideration of biological research suggests that while content and function claims are empirically underdetermined and uncertain, there is insufficient reason to believe in an additional problem of indeterminism. In particular, Dennett's indeterminism arises from a research methodology -- logical adaptationism -- that generates evidence from only one of the areas of neuroethology. However, logical adaptationism does not reflect adaptationism as it is practiced in contemporary biology. I conclude that Dennett is faced with a dilemma: On the one hand, he can hold to logical adaptationism and the indeterminism that results from it, while giving up the relevance of his arguments to biological practice. On the other, he can embrace a more accurate version of adaptationism -- one which plays a role in a larger neuroethological framework -- but from which no strong indeterminacy claims follow. (shrink)

Different why-questions emerge under different contexts and require different information in order to be addressed. Hence a relevance relation can hardly be invariant across contexts. However, what is indeed common under any possible context is that all explananda require scientific information in order to be explained. So no scientific information is in principle explanatorily irrelevant, it only becomes so under certain contexts. In view of this, scientific thought experiments can offer explanations, should we analyze their representational strategies. Their representations involve (...) empirical as well as hypothetical statements. I call this the “representational mingling” which bears scientific information that can explain events. Buchanan’s thought experiment from constitutional economics is examined to show how mingled representations explain. (shrink)

We investigate the way physical laws objectively refer to the entities they are about. Laws of mathematical physics do not refer directly to the “real world” but to an ideal specific domain of objects, which we term “scope”. In order to find out which real objects physical laws deal with, reference to the scope is not sufficient. We need in addition the search for domains to which laws apply — i. e. “empirical domains”— in order to establish their reference to (...) the “real world”. It is just in such empirical domains that we are able to discover the real entities physical laws objectively refer to. “Physical reality” turns out to be not something “given” but rather something “to come out” of the very process of scientific inquiry. (shrink)

Jerry Fodor has argued that the multiple realizability argument, as discussed in his original “Special Sciences” article, “refutes psychophysical reductionism once and for all.” I argue that his argument in “Special Sciences” does no such thing. Furthermore, if one endorses the physicalism that most supporters of the “Special Sciences” view endorse, special science laws must be reducible, in principle. The compatibility of MR with reduction, however, need not threaten the autonomy of the special sciences.

Semmelweis’s work predates the discovery of the power of randomization in medicine by almost a century. Although Semmelweis would not have consciously used a randomized controlled trial (RCT), some features of his material—the allocation of patients to the first and second clinics—did involve what was in fact a randomization, though this was not realised at the time. This article begins by explaining why Semmelweis’s methodology, nevertheless, did not amount to the use of a RCT. It then shows why it is (...) descriptively and normatively interesting to compare what he did with the modern approach using RCTs. The argumentation centres on causal inferences and the contrast between Semmelweis’s causal concept and that deployed by many advocates of RCTs. It is argued that Semmelweis’s approach has implications for matters of explanation and medical practice. (shrink)

This is a paper about the methodology of normative ethics. I claim that much work in normative ethics can be interpreted as modelling, the form of inquiry familiar from science, involving idealised representations. I begin with the anti-theory debate in ethics, and note that the debate utilises the vocabulary of scientific theories without recognising the role models play in science. I characterise modelling, and show that work with these characteristics is common in ethics. This establishes the plausibility of my interpretation. (...) Taking methodological inspiration from modelling in science gives us new tools for managing idealisations, and a new perspective on pluralism. I demonstrate why this interpretation is a fruitful way of interpreting ethics, by looking at three case studies. First, I return to the anti-theory debate and argue that modelling opens up a new middle ground. Second, I argue that a modelling lens offers a new way of understanding impossibility theorems in population ethics, and their bearing on ethics as a whole. Finally, I show how viewing our work as modelling can be deployed in debates within ethics, using the debate over prioritarianism as an example. I close with further methodological suggestions for those who choose to see themselves as modellers. I discuss the role of counterexamples, our responses to moral disagreement, and the training of new ethicists. (shrink)

The relationship between statistical mechanics and population genetics has a long history. Both take advantage of statistics to address the behavior of large groups of entities. The main objective of this article is to assess the obstacles population genetics is meeting in its claim to explain biological phenomena from the conceptual apparatus of statistical mechanics according to two recent articles. Several tools available to the latter are missing in the former. Thus, in the absence of an adequate justification of the (...) relevance of the analogy and without the satisfaction of certain basic assumptions, I argue that the explanatory strategy of the analogously based model is seriously compromised. La relation entre mécanique statistique et génétique des populations a une longue histoire. À l’instar de la première, la seconde tire profit des statistiques afin de traiter le comportement des grands ensembles d’entités. L’objectif principal du présent article est d’identifier les obstacles que rencontre la génétique des populations dans sa prétention d’explication des phénomènes biologiques à partir de l’appareillage conceptuel de la mécanique statistique selon deux articles récents. Or, plusieurs outils dont dispose cette dernière manque à la première. Ainsi, en l’absence d’une justification adéquate de la pertinence de l’analogie et sans la satisfaction de certaines hypothèses fondamentales, je soutiens que la stratégie explicative du modèle analogue est sérieusement compromise. (shrink)

In this paper Rudolf Carnap's definition of 'analytic truth' based upon a meaning postulate At, for theoretical predicates of a given scientific theory is subjected to critique. It is argued that this definition is both too exclusive and too inclusive. Assuming that the preceding is correct, At is subjected to further scrutiny to determine how to interpret it and whether, and under what conditions, it need even be true. It is argued that a given At need not be true as (...) a sentence in a scientific theory and that it must be regarded as a confusedly presented rule for the same. It is then argued that even as a semantical rule for the theory, At cannot provide a guarantee of truth for some meaning postulate similar to At in the theory itself. It is thus argued that Carnap's definition of 'analytic truth' for theoretical predicates is unsatisfactory. (shrink)

The purpose of this paper is to introduce an approach to clinical practice aiming to resolve the dilemma of choosing between a mechanistic and a phenomenological model. The approach is an extension of Polanyi's epistemology. Michael Polanyi, devised an epistemology of science which overcomes the problem of detachment, inherent in the mechanistic approach, and resolves the problem of subjectivity troubling phenomenologists. His epistemology is known as Personal Knowledge. An extension of this epistemology, a Neo-Polanyian proposal, is offered as a more (...) successful model for clinical practice than previous suggestions addressing the dilemma. (shrink)

Scientists routinely solve the problem of supplementing one’s store of variables with new theoretical posits that can explain the previously inexplicable. The banality of success at this task obscures a remarkable fact. Generating hypotheses that contain novel variables and accurately project over a limited amount of additional data is so difficult—the space of possibilities so vast—that succeeding through guesswork is overwhelmingly unlikely despite a very large number of attempts. And yet scientists do generate hypotheses of this sort in very few (...) tries. I argue that this poses a dilemma: either the long history of scientific success is a miracle, or there exists at least one method or algorithm for generating novel hypotheses with at least limited projectibility on the basis of what’s available to the scientist at a time, namely a set of observations, the history of past conjectures, and some prior theoretical commitments. In other words, either ordinary scientific success is miraculous or there exists a logic of discovery at the heart of actual scientific method. (shrink)

Dialogue between feminist and mainstream philosophy of science has been limited in recent years, although feminist and mainstream traditions each have engaged in rich debates about key concepts and their efficacy. Noteworthy criticisms of concepts like objectivity, consensus, justification, and discovery can be found in the work of philosophers of science including Philip Kitcher, Helen Longino, Peter Galison, Alison Wylie, Lorraine Daston, and Sandra Harding. As a graduate student in philosophy of science who worked in both literatures, I was often (...) left with the feeling that I had joined a broken family with two warring factions. This is apparent in the number of anthologies that have emerged on both sides in the aftermath of the “Science Wars” (Gross, Paul R., Norman Levitt, and Martin W. Lewis, eds. 1996; Koertge, Noretta, ed. 1998; Sokal, Alan and Jean Bricmont. 1998; etc.) Depending on one’s perspective on the Science Wars, the breadth of illustrative cases and examples found in Science and Other Cultures can either give more ammunition for the battle, or grounding for a much needed treaty of accord. The most important feature of this book is that it does not merely claim that science is only political, and it does not merely dismiss science as a social phenomenon to be deconstructed using the standard postmodern conceptual tools. Instead, the collection illustrates ways in which postcolonial analysis and multicultural examples can enrich our understanding of “good” science and ethics. Here, the concept of “strong objectivity” from Harding’s earlier books is fleshed out through a variety of cases. The anthology is the culmination of a series of research activities funded by a National Science Foundation grant to the American Philosophical Association. The grant, under the auspices of the NSF Ethics and Values Program, sponsored fourteen summer research projects and thirty-six presentations at four regional APA meetings. (shrink)

According to conceptual reductive accounts, if properties of one domain can be conceptually reduced to properties of another domain, then the former properties are ontologically reduced to the latter properties. I will argue that conceptual reductive accounts face problems: either they do not recognise that many higher-level properties are correlated with multiple physical properties, or they do not clarify how we can discover new truthmakers of sentences about a higher-level property. Still, there is another way to motivate ontological reduction, the (...) truthmaker reductive explanations (TRE). TRE can be given by using resources from John Heil’s truthmaker theory and the a priori entailment view or the a posteriori entailment view. I will argue that we can give these truthmaker reductive explanations if there are various less-than-perfectly similar physical properties that can be the truthmakers of sentences about higher-level properties and the physical similarity between them can explain why an irreducible higher-level property is not needed. (shrink)

In Artificial Intelligence, abduction is often formalized in first-order logic. In this article, we focus on the problem of identifying equivalence of two abductive theories represented in first-order logic. To this end, two definitions of equivalence are given for abduction. Explainable equivalence requires that two abductive theories have the same explainability for any observation. On the other hand, explanatory equivalence guarantees that any observation has exactly the same explanations in each abductive theory. Explanatory equivalence is a stronger notion than explainable (...) equivalence. In first-order logic, explainable equivalence can be veri.ed by the notion of extensional equivalence in default theories, while explanatory equivalence reduces to logical equivalence between background theories. We also show the complexity results for abductive equivalence. (shrink)

This article examines a series of Schelling-like models of residential segregation, in which agents prefer to be in the minority. We demonstrate that as long as agents care about the characteristics of their wider community, they tend to end up in a segregated state. We then investigate the process that causes this and conclude that the result hinges on the similarity of informational states among agents of the same type. This is quite different from Schelling-like behavior and suggests that segregation (...) is an instance of macrobehavior that can arise from a wide variety of micromotives. (shrink)

: Testing the claims that scientists make is extremely difficult. Testing the claims that philosophers of science make about science is even more difficult, difficult but not impossible. I discuss three efforts at testing the sorts of claims that philosophers of science make about science: the influence of scientists' age on the alacrity with which they accept new views, the effect of birth order on the sorts of contributions that scientists make, and the role of novel predictions in the acceptance (...) of new scientific views. Without attempting to test philosophical claims, it is difficult to know what they mean. (shrink)

Hempel seems to hold the following three views: (H1) Understanding is pragmatic/relativistic: Whether one understands why X happened in terms of Explanation E depends on one's beliefs and cognitive abilities; (H2) Whether a scientific explanation is good, just like whether a mathematical proof is good, is a nonpragmatic and objective issue independent of the beliefs or cognitive abilities of individuals; (H3) The goal of scientific explanation is understanding: A good scientific explanation is the one that provides understanding. Apparently, H1, H2, (...) and H3 cannot be all true. Some philosophers think that Hempel is inconsistent, while some others claim that Hempel does not actually hold H3. I argue that Hempel does hold H3 and that he can consistently hold all of H1, H2, and H3 if he endorses what I call the “understanding argument.” I also show how attributing the understanding argument to Hempel can make more sense of his D-N model and his philosophical analysis of the pragmatic aspects of scientific explanation. (shrink)

I invoke the conceptual machinery of contemporary possible-world semantics to provide an account of the metaphysical status of "bridge laws" in intertheoretic reductions. I argue that although bridge laws are not definitions, and although they do not necessarily reflect attribute-identities, they are supervenient. I.e., they are true in all possible worlds in which the reducing theory is true.

Laws of nature have been traditionally thought to express regularities in the systems which they describe, and, via their expression of regularities, to allow us to explain and predict the behavior of these systems. Using the driven simple pendulum as a paradigm, we identify three senses that regularity might have in connection with nonlinear dynamical systems: periodicity, uniqueness, and perturbative stability. Such systems are always regular only in the second of these senses, and that sense is not robust enough to (...) support predictions. We thus illustrate precisely how physical laws in the classical regime of dynamical systems fail to exhibit predictive power. *R. G. Holt gratefully acknowledges the support of the National Center for Physical Acoustics at Oxford, Mississippi, and the Office of Naval Research. (shrink)

an observation to formulate a theory, it is no surprise that the resulting theory accurately captures that observation. However, when the theory makes a novel prediction—when it predicts an observation that was not used in its formulation—this seems to provide more substantial confirmation of the theory. This paper presents a new approach to the vexed problem of understanding the epistemic difference between prediction and accommodation. In fact, there are several problems that need to be disentangled; in all of them, the (...) key is the concept of overfitting. We float the hypothesis that accommodation is a defective methodology only when the methods used to accommodate the data fail to guard against the risk of overfitting. We connect our analysis with the proposals that other philosophers have made. We also discuss its bearing on the conflict between instrumentalism and scientific realism. Introduction Predictivisms—a taxonomy Observations Formulating the problem What might Annie be doing wrong? Solutions Observations explained Mayo on severe tests The miracle argument and scientific realism Concluding comments. (shrink)

In this paper I expand Eric Scerri’s notion of Popper’s naturalised approach to reduction in chemistry and investigate what its consequences might be. I will argue that Popper’s naturalised approach to reduction has a number of interesting consequences when applied to the reduction of chemistry to physics. One of them is that it prompts us to look at a ‘bootstrap’ approach to quantum chemistry, which is based on specific quantum theoretical theorems and practical considerations that turn quantum ‘theory’ into quantum (...) ‘chemistry’ proper. This approach allows us to investigate some of the principles that drive theory formation in quantum chemistry. These ‘enabling theorems’ place certain limits on the explanatory latitude enjoyed by quantum chemists, and form a first step into establishing the relationship between chemistry and physics in more detail. (shrink)

Agreement between "independent" measurements of a theoretically posited quantity is intuitively compelling evidence that a theory is, loosely speaking, on the right track. But exactly what conclusion is warranted by such agreement? I propose a new account of the phenomenon's epistemic significance within the framework of Bayesian epistemology. I contrast my proposal with the standard Bayesian treatment, which lumps the phenomenon under the heading of "evidential diversity".

According to a popular account, rationality is a kind of coherence of an agent’s mental states and, more specifically, a matter of fulfilling norms of coherence. For example, in order to be rational, an agent is required to intend to do what they judge they ought to and can do. This norm has been called ‘Enkrasia’. Another norm requires that, ceteris paribus, an agent retain their intention over time. This has been called ‘Persistence of Intention’. This paper argues that thus (...) understood norms of rationality may at times conflict. More specifically, Enkrasia and Persistence of Intention may place demands on the agent that are impossible to fulfil. In these cases, the framework of requirements does not provide us with norms that make us rational. A rival account, according to which rationality is a kind of responsiveness to one’s available reasons, can overcome the problem. (shrink)

Social scientists use many different methods, and there are often substantial disagreements about which method is appropriate for a given research question. In response to this uncertainty about the relative merits of different methods, W. E. B. Du Bois advocated for and applied “methodological triangulation”. This is to use multiple methods simultaneously in the belief that, where one is uncertain about the reliability of any given method, if multiple methods yield the same answer that answer is confirmed more strongly than (...) it could have been by any single method. Against this, methodological purists believe that one should choose a single appropriate method and stick with it. Using tools from voting theory, we show Du Boisian methodological triangulation to be more likely to yield the correct answer than purism, assuming the scientist is subject to some degree of diffidence about the relative merits of the various methods. This holds even when in fact only one of the methods is appropriate for the given research question. (shrink)

I offer an account of how the quantum theory we have helps us explain so much. The account depends on a pragmatist interpretation of the theory: this takes a quantum state to serve as a source of sound advice to physically situated agents on the content and appropriate degree of belief about matters concerning which they are currently inevitably ignorant. The general account of how to use quantum states and probabilities to explain otherwise puzzling regularities is then illustrated by showing (...) how we can explain single-particle interference phenomena, the stability of matter, and interference of Bose–Einstein condensates. Finally, I note some open problems and relate this account to alternative approaches to explanation that emphasize the importance of causation, of unification, and of structure. 1 Introduction2 Two Requirements on Explanations in Physics3 What We Can use Quantum Theory to Explain4 The Function of Quantum States and Born Probabilities5 How These Functions Contribute to the Explanatory Task6 Example One: Single-Particle Interference7 Example Two: Explanation of the Stability of Matter8 Example Three: Bose Condensation9 Conclusion. (shrink)

I offer an account of how the quantum theory we have helps us explain the enormous variety of phenomena it is generally taken to explain. The account depends on what I have elsewhere called a pragmatist interpretation of the theory. This rejects views according to which a quantum state describes or represents a physical system, holding instead that it functions as a source of sound advice to physically situated agents like us on the content and appropriate degree of belief about (...) matters concerning which they are currently inevitably ignorant. So while the account given here is incompatible with some views of structural explanation in quantum theory it is nevertheless able to incorporate what I take to be their valuable insights. (shrink)

I begin to develop a framework for emergence in the physical sciences. Namely, I propose to explicate ontological emergence in terms of the notion of ‘novel reference’, and of an account of interpretation as a map from theory to world. I then construe ontological emergence as the “failure of the interpretation to mesh” with an appropriate linkage map between theories. Ontological emergence can obtain between theories that have the same extension but different intensions, and between theories that have both different (...) extensions and intensions. I illustrate the framework in three examples: the emergence of spontaneous magnetisation in a ferromagnet, the emergence of masslessness, and the emergence of space, in specific models of physics. The account explains why ontological emergence is independent of reduction: namely, because emergence is primarily concerned with adequate interpretation, while the sense of reduction that is relevant here is concerned with inter-theoretic relations between uninterpreted theories. (shrink)

Fred Suppe claims that the refereed journal article is an appropriate unit of scientific debate for philosophical analysis. He also claims that when we regiment scientific papers correctly, we can see that the hypothetico-deductive method, Baysian induction, and inference to the best explanation fail to capture the structure of scientific articles adequately. In what follows I demonstrate that the coding scheme Suppe used for uncovering the structure of a scientific paper is not appropriate under all circumstances, illustrate alternative structures found (...) in various scientific articles, and show that the hypothetico-deductive method can accommodate the alternative structures I find. My conclusions are that the article that Suppe analyzed is not paradigmatic of published scientific articles, that different papers have different structures, that the structure depends upon the rhetorical goals of the article, and that, because of the different structures and different goals, no one philosophical account of testing is going to suffice. (shrink)

In trying to characterize the relationship between psychology and neuroscience, the trend has been to argue that reductionism does not work without suggesting a suitable substitute. I offer explanatory extension as a good model for elucidating the complex relationship among disciplines which are obviously connected but which do not share pragmatic explanatory features. Explanatory extension rests on the idea that one field can "illuminate" issues that were incompletely treated in another. In this paper, I explain how this "illumination" would work (...) between psychology and neuroscience. (shrink)

The article analysis the views approaching quantitative and qualitative methods in social sciences as separable or irreconcilable. First, we characterize these views and show how they deal with this divide and how they view the aspects of the latter. Next, we identify the works of Herbert Blumer as the basis of that divide and subject them to an analysis. Finally, by means of categories like quantity, quality, and measure, we show that the qualitative-quantitative divide is based on a wrong approach (...) to these categories and the quantitative and qualitative methods. (shrink)

This paper discusses the controversy between philosophers of science (e.g. Grünbaum) and historians of science (e.g. Holton) regarding Einstein's discovery of STR. Although Holton is surely correct on the historical point that experimental results (especially the Michelson-Morley experiment) had little influence on Einstein's development of STR, this fact is not sufficient to establish his (and Polanyi's) claim that major scientific discoveries are primarily matters of private, nonspecifiable insights into physical reality. It is possible that Einstein's work was based primarily on (...) non-empirical but nonetheless publicly discussable, objective considerations. And a more comprehensive survey of the discovery of STR shows that this was indeed the case and thus excludes STR as a supporting instance of Holton's and Polanyi's assertions of the primacy of "private science.". (shrink)