The basis of science is the hypothetico-deductive method and the recording of experiments in sufficient detail to enable reproducibility. We report the development of Robot Scientist "Adam," which advances the automation of both. Adam has autonomously generated functional genomics hypotheses about the yeast Saccharomyces cerevisiae and experimentally tested these hypotheses by using laboratory automation. We have confirmed Adam's conclusions through manual experiments. To describe Adam's research, we have developed an ontology and logical language. The resulting formalization involves over 10,000 different (...) research units in a nested treelike structure, 10 levels deep, that relates the 6.6 million biomass measurements to their logical description. This formalization describes how a machine contributed to scientific knowledge. (shrink)

Ethical review systems need to build on their experiences of COVID-19 research to enhance their preparedness for future pandemics. Recommendations from representatives from over twenty countries include: improving relationships across the research ecosystem; demonstrating willingness to reform and adapt systems and processes; and making the case robustly for better resourcing.

This article documents experiences of Glasgow Improvisers Orchestra’s virtual, synchronous improvisation sessions during COVID-19 pandemic via interviews with 29 participants. Sessions included an international, gender balanced, and cross generational group of over 70 musicians all of whom were living under conditions of social distancing. All sessions were recorded using Zoom software. After 3 months of twice weekly improvisation sessions, 29 interviews with participants were undertaken, recorded, transcribed, and analyzed. Key themes include how the sessions provided opportunities for artistic development, enhanced (...) mood, reduced feelings of isolation, and sustained and developed community. Particular attention is placed upon how improvisation as a universal, real time, social, and collaborative process facilitates interaction, allowing the technological affordances of software (latencies, sound quality, and gallery/speaker view) and hardware (laptop, tablet, instruments, microphones, headphones, and objects in room) to become emergent properties of artistic collaborations. The extent to which this process affects new perceptual and conceptual breakthroughs for practitioners is discussed as is the crucial and innovative relationship between audio and visual elements. Analysis of edited films of the sessions highlight artistic and theoretical and conceptual issues discussed. Emphasis is given to how the domestic environment merges with technologies to createThe Theatre of Home. (shrink)

The unfinished imperfect procedural justice raised by John Rawls can be projected towards the theory of the jurisdictional function of Alf Ross, if we took in consideration the judge as an institution and citizen when he applies the law in the population that judges. The theory of the justice of the..

El texto aquí desarrollado aborda los principios más generales del realismo sociológico escandinavo, en particular de la teoría de la función jurisdiccional y del interés de Alf Ross, que sostiene a la objetividad y subjetividad como parte integrante de la actividad del juzgador, contrastán..

Are there nonexistent objects, i.e., objects that do not exist? Some examples often cited are: Zeus, Pegasus, Sherlock Holmes, Vulcan (the hypothetical planet postulated by the 19th century astronomer Le Verrier), the perpetual motion machine, the golden mountain, the fountain of youth, the round square, etc. Some important philosophers have thought that the very concept of a nonexistent object is contradictory (Hume) or logically ill-formed (Kant, Frege), while others (Leibniz, Meinong, the Russell of Principles of Mathematics) have embraced it wholeheartedly. (...) This entry is an examination of the many questions which arise in connection with the view that there are nonexistent objects. The following are particularly salient: What reasons are there (if any) for thinking that there are nonexistent objects? If there are nonexistent objects, then what kind of objects are they? How can they be characterized? Is it possible to provide a consistent theory of nonexistent objects? What is the explanatory force of a consistent theory of nonexistent objects (if such a thing is possible)? (shrink)

When there is truth, there must be some thing (or things) to account for that truth: some thing(s) that couldn’t exist and the true proposition fail to be true. That is the truthmaker principle. True propositions are made true by entities in the mind-independently existing external world. The truthmaker principle seems attractive to many metaphysicians, but many have wanted to weaken it and accept not that every true proposition has a truthmaker but only that some important class of propositions require (...) truthmakers.1 Let us, following Armstrong, call the claim that all true propositions, without exception, have a truthmaker, Truthmaker Maximalism. Why might one be tempted to the spirit of truthmaker theory but reject Truthmaker Maximalism? Well, you might deny that necessary truths need truthmakers, for one, and insist that only contingent truths have truthmakers. But I think it’s fair to say that the most common motivation for rejecting maximalism concerns negative truths. The thought that negative truths are exempt from the demand for truthmakers could be justified in one of two ways: there is the claim that we don’t need truthmakers for negative truths, and there is the claim that we can’t have.. (shrink)

In the past thirty years or so, the doctrine that actions are events has become an essential, and sometimes unargued, part of the received view in the philosophy of action, despite the efforts of a few philosophers to undermine the consensus. For example, the entry for Agency in a recently published reference guide to the philosophy of mind begins with the following sentence: A central task in the philosophy of action is that of spelling out the differences between events in (...) general and those events that fall squarely into the category of human action. There is no consensus about what events are. But it is generally agreed that, whatever events may prove to be, actions are a species or a class of events. We believe that the received view is mistaken: actions are not events. We concede that for most purposes, the kind of categorial refinement which is involved in either affirming or denying that actions are events is frankly otiose. Our common idiom does not stress the difference between actions and events, at least not in general terms, because it has no need to. Perhaps it sounds a little odd to say that some events are performed; but if we balked at describing, say, the abdication of Edward VIII as one of the politically significant events in Britain in 1936, it could not be for metaphysical reasons. And since actions, like events, are datable — though often, as we shall see, only imprecisely — actions are said to take place and to occur. But an important class of actions consist in moving something; indeed, according to many philosophers, every action consists in moving something. And when we consider actions of this sort from a theoretical point of view it becomes imperative to distinguish between actions and events. Or so we shall argue. (shrink)

I argue that the truthmaker theorist should be a priority monist if she wants to avoid commitment to mysterious necessary connections. In section 1 I briefly discuss the ontological options available to the truthmaker theorist. In section 2 I develop the argument against truthmaker theory from the Humean denial of necessary connections. In section 3 I offer an account of when necessary connections are objectionable. In section 4 I use this criterion to narrow down the options from section 1. In (...) section 5 I argue that the account leads us to priority monism. (shrink)

Works of music do not appear to be concrete objects; but they do appear to be created by composers, and abstract objects do not seem to be the kind of things that can be created. In this paper I aim to develop an ontological position that lets us salvage the creativity intuition without either adopting an ontology of created abstracta or identifying musical works with concreta. I will argue that there are no musical works in our ontology, but nevertheless the (...) English sentences we want to hold true are literally true. I rely on a meta-ontological view whereby ‘a exists’ can be true without committing us to an entity that is a. This meta-ontological view is illustrated by its application to the familiar example of the statue and the clay. I argue that my account of musical ontology fares better on the balance of costs and benefits than its rivals. (shrink)

This paper attempts to locate, within an actualist ontology, truthmakers for modal truths: truths of the form or . In Sect. 1 I motivate the demand for substantial truthmakers for modal truths. In Sect. 21 criticise Armstrong's account of truthmakers for modal truths. In Sect. 31 examine essentialism and defend an account of what makes essentialist attributions true, but I argue that this does not solve the problem of modal truth in general. In Sect. 41 discuss, and dismiss, a theistic (...) account of the source of modal truth proposed by Alexander Pruss. In Sect. 5 I offer a means of (dis)solving the problem. (shrink)

Simon Blackburn posed a dilemma for any realist attempt to identify the source of necessity. Either the facts appealed to to ground modal truth are themselves necessary, or they are contingent. If necessary, we begin the process towards regress; but if contingent, we undermine the necessity whose source we wanted to explain. Bob Hale attempts to blunt both horns of this dilemma. In this paper I examine their respective positions and attempt to clear up some confusions on either side. I (...) come to defend Hale’s conclusion that both horns of the dilemma can be resisted. I end by defending my own account of the source of necessity, and showing why it does not fall victim to Blackburn’s problem. (shrink)

I address an intuition commonly endorsed by metaphysicians, that there must be a fundamental layer of reality, i.e., that chains of ontological dependence must terminate: there cannot be turtles all the way down. I discuss applications of this intuition with reference to Bradley’s regress, composition, realism about the mental and the cosmological argument. I discuss some arguments for the intui- tion, but argue that they are unconvincing. I conclude by making some suggestions for how the intuition should be argued for, (...) and discussing the ramifications of giving the justification I think best. (shrink)

We discuss Russell's 1913 essay arguing for the irrelevance of the idea of causation to science and its elimination from metaphysics as a precursor to contemporary philosophical naturalism. We show how Russell's application raises issues now receiving much attention in debates about the adequacy of such naturalism, in particular, problems related to the relationship between folk and scientific conceptual influences on metaphysics, and to the unification of a scientifically inspired worldview. In showing how to recover an approximation to Russell's conclusion (...) while explaining scientists' continuing appeal to causal ideas (without violating naturalism by philosophically correcting scientists) we illustrate a general naturalist strategy for handling problems around the unification of sciences that assume different levels of naïveté with respect to folk conceptual frameworks. We do this despite rejecting one of the premises of Russell's argument, a version of reductionism that was scientifically plausible in 1913 but is not so now. (shrink)

What are the ontological commitments of a sentence? In this paper I offer an answer from the perspective of the truthmaker theorist that contrasts with the familiar Quinean criterion. I detail some of the benefits of thinking of things this way: they include making the composition debate tractable without appealing to a neo-Carnapian metaontology, making sense of neo-Fregeanism, and dispensing with some otherwise recalcitrant necessary connections.

Continuing Franz Boas' work to establish anthropology as an academic discipline in the US at the turn of the twentieth century, Alfred L. Kroeber re-defined culture as a phenomenon sui generis. To achieve this he asked geneticists to enter into a coalition against hereditarian thoughts prevalent at that time in the US. The goal was to create space for anthropology as a separate discipline within academia, distinct from other disciplines. To this end he crossed the boundary separating anthropology from biology (...) in order to secure the boundary. His notion of culture, closely bound to the concept of heredity, saw it as independent of biological heredity (culture as superorganic) but at the same time as a heredity of another sort. The paper intends to summarise the shifting boundaries of anthropology at the beginning of the twentieth century, and to present Kroeber?s ideas on culture, with a focus on how the changing landscape of concepts of heredity influenced his views. The historical case serves to illustrate two general conclusions: that the concept of culture played and plays different roles in explaining human existence; that genetics and the concept of Weismannian hard inheritance did not have an unambiguous unidirectional historical effect on the vogue for hereditarianism at that time; on the contrary, it helped to establish culture in Kroeber's sense, culture as independent of heredity. (shrink)

The article addresses the question whether culture evolves in a Lamarckian manner. I highlight three central aspects of a Lamarckian concept of evolution: the inheritance of acquired characteristics, the transformational pattern of evolution, and the concept of directed changes. A clear exposition of these aspects shows that a system can be a Darwinian variational system instead of a Lamarckian transformational one, even if it is based on inheritance of acquired characteristics and/or on Lamarckian directed changes. On this basis, I apply (...) the three aspects to culture. Taking for granted that culture is a variational system, based on selection processes, I discuss in detail the senses in which cultural inheritance can be said to be Lamarckian and in which sense problem solving, a major factor in cultural change, leads to directed variation. (shrink)

The global coronavirus disease 2019 (COVID-19) pandemic has caused significant uncertainty for students and teachers. During this time, teacher and student creative beliefs and affect play a supportive role in adaptively managing stress, finding joy, and bouncing back from inevitable setbacks with resilience. Developing an adaptive orientation to creativity is a critically important step in helping teachers deal with the challenges and stress of reaching their students through distance learning, especially the most marginalized. This study aims to understand how teacher (...) creativity linked to well-being in the face of COVID-19-related school shutdowns and how teachers planned to adapt creatively to distance learning through the guidance of a summer creative teaching training institute. Results from this sequential mixed method study demonstrated important relationships. Creative self-efficacy in teaching related to teacher buoyancy in the face of setbacks. Creative growth mindset related to teachers’ general positive affect in teaching. Lowered creative anxiety related to reduced effects of secondary traumatic stress and general negative affect in teaching. Environmental support and encouragement for creativity in schools may be foundational for teacher well-being by enhancing teachers’ dispositional joy, general positive affect, and reducing general negative affect. Results suggested additional stress and loss of creativity for most teachers due to the COVID-19 pandemic alongside substantial capacity for creative adaptations with the support of training for creativity in teaching and learning. (shrink)

Two conceptions of motivating reasons, i.e. the reasons for which we act, can be found in the literature: (1) the dominant 'psychological conception', which says that motivating reasons are an agent's believing something; and (2) the 'non-psychological' conception, the minority view, which says that they are what the agent believes, i.e. his beliefs. In this paper I outline a version of the minority view, and defend it against what have been thought to be insuperable difficulties - in particular, difficulties concerning (...) 'error cases' (cases where what the agent believes is false); and difficulties concerning the explanation of action. Concerning error cases, I argue that if we are motivated by something believed that is true, what motivates us to act is a motivating reason. By contrast, if we are motivated by something believed that is false, then what motivates us to act is merely an apparent motivating reason. Either way, what motivates us is, as the non-psychological conception says, what we believe and not our believing it. I offer an account of the relation between motivating reasons and the explanation of action, and argue that this account helps bring out two important points. One is that the fact that we often do, and indeed sometimes must, use explanations such as 'He did it because he believed that p' does not vindicate the psychological conception of motivating reasons. The other is that endorsing the non-psychological conception of motivating reasons does not commit one to a non-factive view of explanations of action. (shrink)

There is widespread disagreement as to what the facts are concerning just when a collection of objects composes some further object; but there is widespread agreement that, whatever those facts are, they are necessary. I am unhappy to simply assume this, and in this paper I ask whether there is reason to think that the facts concerning composition hold necessarily. I consider various reasons to think so, but find fault with each of them. I examine the theory of composition as (...) identity, but argue that the version of this doctrine that entails universalism is implausible. I consider the claim that the a priority of such facts leads to their necessity, but give a defence of substantial contingent a priori truths. I ask whether the contingency of such facts would lead to unwelcome possibilities, but argue that the worrying looking possibilities can be blocked if it is desired. Next, I argue against the thought that the Lewis-Sider argument against restricted composition might give us reason to accept the necessity of universalism. Lastly, I respond to two objections from the 2006 BSPC. I conclude in favour of the contingency of the facts concerning when some things compose some thing. (shrink)

ABSTRACTIn 1994, the Committee on Assessing Genetic Risks of the Institute of Medicine published their recommendations regarding the ethical issues raised by advances in genetics. One of the Committee's recommendation was to inform women when test results revealed misattributed paternity, but not to disclose this information to the women's partners. The Committee's reason for withholding such information was that “'genetic testing should not be used in ways that disrupt families”. In this paper, I argue that the Committee's conclusion in favour (...) of nondisclosure to the male partner is unethical. I argue that both parties ought to be informed. (shrink)

According to Donald Davidson, the very idea of a conceptual scheme is the third dogma of empiricism. In this paper I examine the ways in which this claim may be interpreted. I conclude by arguing that there remains an innocent version of the scheme -content distinction which is not motivated by empiricism and does not commit us to the pernicious type of dualism that Davidson rejects.

I propose a strategy for a metaphysical reduction of perceived color, that is, an identification of perceived color with properties characterizable in non-qualitative terms. According to this strategy, a description of visual experience of color, which incorporates a description of the appearance of color, is a reference-fixing description. This strategy both takes color appearance seriously in its primary epistemic role and avoids rendering color as metaphysically mysterious. I’ll also argue that given this strategy, a plausible account of perceived color claims (...) that colors are physical properties of physical objects. (shrink)

This work presents an analysis of the feeling of guilt and in particular of the cognitive defenses against it. It shows how the need to avoid or mitigate the feeling, with the suffering implied, affects the perception and judgment of oneself and others. It is in fact claimed that to copy with their guilt people try to alter the appraisal processes implied by the emotion. Once described the main cognitive components of the feeling of guilt, an analysis is offered of (...) the interventions of the cognitive defenses on such components, to alter the original appraisal processes underlying the feeling. (shrink)

Critics of mainstream economics typically rest important weight on the differences between people and the 'agents' that populate economic theory and economic models. Hollis and Nell (1975) is both representative of and ancestral to many more recent variations on the theme. Lately, the upgraded status of behavioral economics (BE) within the discipline's mainstream has encouraged a number of writers to use revolutionary rhetoric in promotion of a 'paradigm shift' that includes the rejection of 'rational economic man' (Ormerod 1994, Heilbroner and (...) Milburg 1995, Fullbrook 2003). The current leading developers of BE are generally more circumspect, claiming that their approach complements standard theory rather than promising to supplant it (Camerer and Loewenstein 2004, Angner and Loewenstein this volume). However, they generally join the more florid critics in supposing that microeconomics is bound to improve its empirical relevance to the extent that it substitutes the study of people for that of abstract economic agents. Another body of thought that promotes this view stems from Sen's (1977) attack on standard economic agents as 'rational fools', amplified in Davis's (2003) argument that since economic agents lack some essential properties of human individuals, economic theory requires fundamental reform if it is to make progress in explaining human behavior. (shrink)

Martine Nida-Rümelin (1996) argues that color science indicates behaviorally undetectable spectrum inversion is possible and raises this possibility as an objection to functionalist accounts of visual states of color. I show that her argument does not rest solely on color science, but also on a philosophically controversial assumption, namely, that visual states of color supervene on physiological states. However, this assumption, on the part of philosophers or vision scientists, has the effect of simply ruling out certain versions of functionalism. While (...) Nida-Rümelin is quite right to search for empirical tests for claims about the nature of visual states, philosophical issues remain pivotal in determining the correctness of these claims. (shrink)

In this article we aim to reconstruct some aspects of Davidson's idea of triangulation, and against this reconstruction, ask whether the idea is viciously circular. We begin by looking at the claim that without a triangularn setting, there is no saying what the cause of a being's responses is. In the first section we discuss the notion of relevant similarity, and what difference the presence of a second non‐linguistic being could make for the individuation of a common focus of attention. (...) In the second section we look at the role of a second person in language‐acquisition. It is important that being corrected to ‘go on as others do’ does not yet presuppose thought, and similarity standards can be applied to a learner's reactions even before she is aware of these standards. We also show why Davidson is not committed to any consensus view of correctness. In the last section we discern three charges of circularity that can be levelled against the idea of triangulation. We argue that Davidson can respond to the first two charges, and point to a way of answering the third. But the response we propound raises a new question, namely, why does the second being have to be a speaker or thinker even before the learner is aware of the three points of the triangle? (shrink)

In this paper I examine the objection to truthmaker theory, forcibly made by David Lewis and endorsed by many, that it violates the Humean denial of necessary connections between distinct existences. In Sect. 1 I present the argument that acceptance of truthmakers commits us to necessary connections. In Sect. 2 I examine Lewis’ ‘Things-qua-truthmakers’ theory which attempts to give truthmakers without such a commitment, and find it wanting. In Sects. 3–5 I discuss various formulations of the denial of necessary connections (...) and argue that each of them is either false or compatible with truthmaker theory. In Sect. 6 I show how the truthmaker theorist can resist the charge that they are committed to necessary exclusions between possible existents. I conclude that there is no good objection to truthmaker theory on the grounds that it violates the Humean dictum. (shrink)

A wave of recent work in metaphysics seeks to undermine the anti-reductionist, functionalist consensus of the past few decades in cognitive science and philosophy of mind. That consensus apparently legitimated a focus on what systems do, without necessarily and always requiring attention to the details of how systems are constituted. The new metaphysical challenge contends that many states and processes referred to by functionalist cognitive scientists are epiphenomenal. It further contends that the problem lies in functionalism itself, and that, to (...) save the causal significance of mind, it is necessary to re-embrace reductionism. We argue that the prescribed return to reductionism would be disastrous for the cognitive and behavioral sciences, requiring the dismantling of most existing achievements and placing intolerable restrictions on further work. However, this argument fails to answer the metaphysical challenge on its own terms. We meet that challenge by going on to argue that the new metaphysical skepticism about functionalist cognitive science depends on reifying two distinct notions of causality (one primarily scientific, the other metaphysical), then equivocating between them. When the different notions of causality are properly distinguished, it is clear that functionalism is in no serious philosophical trouble, and that we need not choose between reducing minds or finding them causally impotent. The metaphysical challenge to functionalism relies, in particular, on a naïve and inaccurate conception of the practice of physics, and the relationship between physics and metaphysics. Key Words: explanation; functionalism; mental causation; metaphysics; reductionism. (shrink)

In Ruling Passions, Simon Blackburn contends that we should reject sensibility theory because it serves to support a conservative complacency. Blackburn's strategy is attractive in that it seeks to win this metaethical dispute – which ultimately stems from a deep disagreement over antireductionism – on the basis of an uncontroversial normative consideration. Therefore, Blackburn seems to offer an easy solution to an apparently intractable debate. We will show, however, that Blackburn's argument against sensibility theory does not succeed; it is no (...) more supportive of conservative complacency than Blackburn's noncognitivism. A victory for noncognitivism cannot be so easily won. (shrink)

It is argued that to possess the concept of distress is to be able to apply the concept to others, and that this implies a qualified form of altruism, in the sense that to perceive another as being in distress is, other things being equal, to see them as in need of help and be moved to help them.

In this paper I examine two principles of orthodox truthmaker theory: truthmaker maximalism - the doctrine that every (contingent) truth has a truthmaker, and truthmaker necessitarianism - the doctrine that the existence of a truthmaker necessitates the truth of any proposition which it in fact makes true. I argue that maximalism should be rejected and that once it is we only have reason to hold a restricted form of necessitarianism.

Harold Jeffreys' ideas on the interpretation of probability and epistemology are reviewed. It is argued that with regard to the interpretation of probability, Jeffreys embraces a version of logicism that shares some features of the subjectivism of Ramsey and de Finetti. Jeffreys also developed a probabilistic epistemology, characterized by a pragmatical and constructivist attitude towards notions such as ‘objectivity’, ‘reality’ and ‘causality’. 1 Introductory remarks 2 The interpretation of probability 3 Jeffreys' probabilistic epistemology.

Mistakes about necessity, possibility, counterpossibility and impossibility distort the notions of being and creation.1 Recently such errors cluster in the understanding of quantified modal logic (QML), a device that was for a while thought especially promising for metaphysics.2 Time has told a different story. The underlying modal platonism is gratuitous, without explanatory force and conflicts with the religion it is often used to explain. There are things to consider here that go beyond diagnosing mistakes.3..

According to color subjectivism, colors are mental properties, processes, or events of visual experiences of color. I first lay out an argument for subjectivism founded on claims from visual science and show that it also relies on a philosophical assumption. I then argue that subjectivism is untenable because this view cannot provide a plausible account of color perception. I describe three versions of subjectivism, each of which combines subjectivism with a theory of perception, namely sense datum theory, adverbialism, and the (...) virtual color proposal, and argue that each version faces serious objections. Considering these three theories of perception to be exhaustive of those available to the subjectivist, I conclude that subjectivism is untenable and that the scientifically motivated argument for this view is unsound. I then offer the diagnosis that the philosophical assumption on which this argument relies is mistaken. (shrink)

In Kalaallisut (Eskimo-Aleut:Greenland) verbs inflect for illocutionary mood (declarative, interrogative, imperative, or optative). In addition, the language has an evidential (reportative) clitic which is compatible with all illocutionary moods and gives rise to a variety of readings. These<br>lecture notes exemplify the attested combinations and readings by means of a representative sample of mini-discourses and mini-dialogs.

The first part of the article deals with the theories of probability and induction put forward by Hans Reichenbach and Rudolf Carnap. It will be argued that, despite fundamental differences, Carnap's and Reichenbach's views on probability are closely linked with the problem of meaning generated by logical empiricism, and are characterized by the logico-semantical approach typical of this philosophical current. Moreover, their notions of probability are both meant to combine a logical and an empirical element. Of these, Carnap over the (...) years put more and more emphasis on the logical aspect, while for Reichenbach the empirical aspect has always been predominant. Seen in this light, Carnap's and Reichenbach's theories of probability can be taken to represent the Viennese and Berlinese mainstreams of the common logical empiricist approach. The second part of the article contrasts the position of these authors with that of the Bruno de Finetti, who is the main representative of the subjective interpretation of probability. Though the latter is sometimes associated with the position taken by Carnap in his late writings, it will be argued that the two are in many ways irreconcilable. (shrink)

Richard Jeffrey has labelled his philosophy of probability radical probabilism and qualified this position as Bayesian, nonfoundational and anti-rationalist. This paper explores the roots of radical probabilism, to be traced back to the work of Frank P. Ramsey and Bruno de Finetti.

In footnote 56 of his Naming and Necessity, Kripke offers a ‘proof’ of the essentiality of origin. On its most literal reading the argument is clearly flawed, as was made clear by Nathan Salmon. Salmon attempts to save the literal reading of the argument, but I argue that the new argument is flawed as well, and that it can’t be what Kripke intended. I offer an alternative reconstruction of Kripke’s argument, but I show that this suffers from a more subtle (...) fault. (shrink)