Extensionalism, as I understand it here, is the view that physical reality consists exclusively of extensional entities. On this view, intensional entitities must either be eliminated in favor of an ontology of extensional entities, or be reduced to such an ontology, or otherwise be admitted as non-physical. In this paper I argue that extensionalism is a misguided philosophical doctrine. First, I argue that intensional phenomena are not confined to the realm of language and thought. Rather, the ontology of such phenomena (...) is intimately entwined with the ontology of properties. After providing some evidence to the popularity of extensionalism in contemporary analytic philosophy, I investigate the motivating reasons behind it. Considering several explanations, I argue that the main motivating reason is rooted in the identification of matter with extension, an identification which is one of the hallmarks of the mechanistic conception of nature inherited from the founding fathers of our modern scientific outlook. I then argue that such a conception is not only at odds with a robust ontology of properties but is also at odds with our best contemporary physics. Rather than vindicating extensionalism contemporary science undermines the position, and the lesson to be drawn from this surprising fact is that extensionalism needs no longer be espoused as a regulative ideal of naturalistic philosophy. I conclude by showing that the ontological approach to intensional phenomena advocated throughout the paper also gains support from an examination of the historical context within which ‘intension’ was first introduced as a semantic notion. (shrink)

ABSTRACT Proponents of mechanistic explanation have recently suggested that all explanation in the cognitive sciences is mechanistic, even functional explanation. This last claim is surprising, for functional explanation has traditionally been conceived as autonomous from the structural details that mechanistic explanations emphasize. I argue that functional explanation remains autonomous from mechanistic explanation, but not for reasons commonly associated with the phenomenon of multiple realizability. 1Introduction 2Mechanistic Explanation: A Quick Primer 3Functional Explanation: An Example 4Autonomy as Lack of Constraint 5The Price (...) of Autonomy 6Another Argument against Autonomy 7Conclusion: Autonomy and Multiple Realization. (shrink)

Christian List and Peter Menzies 2009 have looked to interventionist theories of causation for an answer to Jaegwon Kim's causal exclusion problem. Important to their response is the idea of realization-insensitivity. However, this idea becomes mired in issues concerning multiple realization, leaving it unable to fulfil its promise to block exclusion. After explaining why realization-insensitivity fails as a solution to Kim's problem, I look to interventionism to describe a different kind of solution.

Jaegwon Kim’s causal exclusion argument has rarely been evaluated from an empirical perspective. This is puzzling because its conclusion seems to be making a testable claim about the world: supervenient properties are causally inefficacious. An empirical perspective, however, reveals Kim’s argument to rest on a mistaken conception about how to test whether a property is causally efficacious. Moreover, the empirical perspective makes visible a metaphysical bias that Kim brings to his argument that involves a principle of non‐inclusion.

Jaegwon Kim has argued that if psychological kinds are multiply realizable then no single psychological theory can describe regularities ranging over psychological states. Instead, psychology must be fractured, with human psychology covering states realized in the human way, martian psychology covering states realized in the martian way, and so on. I show that even if one accepts the principles that motivate Kim.

Compatibilists respond to the problem of causal exclusion for nonreductive physicalism by rejecting the exclusionist’s ban on overdetermination. By the compatibilist’s lights there are two forms of overdetermination, one that’s problematic and another that is entirely benign. Furthermore, multiple causation by “tightly related” causes requires only the benign form of overdetermination. Call this the tight relation strategy for avoiding problematic forms of overdetermination. To justify the tight relation strategy, modal compatibilists appeal to a widely accepted counterfactual test. The argument of (...) this paper is that the counterfactual test fails to legitimize the tight relation strategy as it fails to adequately distinguish between problematic and benign overdetermination. Contrary to modal compatibilists, modal dependence does not suffice for benignity. I conclude by arguing that adequately addressing overdetermination worries requires a much heavier metaphysical burden than modal compatibilists have typically recognized. (shrink)

A statement of the form ‘C caused E’ obeys the requirement of proportionality precisely when C says no more than what is necessary to bring about E. The thesis that causal statements must obey this requirement might be given a semantic or a pragmatic justification. We use the idea that causal claims are contrastive to criticize both.

In a number works Jerry Fodor has defended a reductive, causal and referential theory of cognitive content. I argue against this, defending a quasi-Fregean notion of cognitive content, and arguing also that the cognitive content of non-singular concepts is narrow, rather than wide.

The Crazyist Metaphysics of Mind. . ???aop.label???

Feminist metaphysics is guided by the insight that gender is socially constructed, yet the metaphysics behind social construction remains obscure. Barnes and Mikkola charge that current metaphysical frameworks—including my grounding framework—are hostile to feminist metaphysics. I argue that not only is a grounding framework hospitable to feminist metaphysics, but also that a grounding framework can help shed light on the metaphysics behind social construction. By treating social construction claims as grounding claims, the feminist metaphysician and the social ontologist both gain (...) a way to integrate social construction claims into a general metaphysics, while accounting for the inferential connections between social construction and attendant notions such as dependence and explanation. So I conclude that a grounding framework can be helpful for feminist metaphysics and social ontology. (shrink)

The aim of this paper is to determine the plausibility of Robert Kirk’s strict implication thesis as an explication of physicalism and its relation to Jackson and Chalmer’s notion of application conditionals, to the notion of global supervenience and to a posteriori identities. It is argued that the strict implication thesis is subject to the same objection that affects the notion of global supervenience. Furthermore, reference to an idealised physics in the formulation of strict implication threatens to make the thesis (...) vacuous. Third, Kirk’s claim that the strict implication thesis does not entail reduction of the mental to the physical (excluding phenomenal properties) is untenable if a functional model of reduction is preferred over Nagel’s classical model. Finally, Kirk’s claim that the physical facts entail in an a priori way the fact that certain brain states feel somehow seems to be unfounded. (shrink)

The aim of this paper is to determine the plausibility of Robert Kirk's strict implication thesis as an explication of physicalism and its relation to Jackson and Chalmer's notion of application conditionals, to the notion of global supervenience and to a posteriori identities. It is argued that the strict implication thesis is subject to the same objection that affects the notion of global supervenience. Furthermore, reference to an idealised physics in the formulation of strict implication threatens to make the thesis (...) vacuous. Third, Kirk's claim that the strict implication thesis does not entail reduction of the mental to the physical (excluding phenomenal properties) is untenable if a functional model of reduction is preferred over Nagel's classical model. Finally, Kirk's claim that the physical facts entail in an a priori way the fact that certain brain states feel somehow seems to be unfounded. (shrink)

Paul Pietroski, in Causing Actions (2000), aims to articulate a dualistic framework that 'makes room for persons'. What is especially intriguing about Pietroski's framework is that it denies both of the above assumptions: (i) it is resolutely non-naturalistic, and (ii) it is a dualism of events, said to steer between substance and property dualisms. If Pietroski is right then both naturalism and the three-part taxonomy are worse than mistaken: they are in..

When two rocks shatter the window at once, what causes the window to shatter? Is the throwing of each individual rock a cause of the window shattering, or are the throwings only causes collectively? This question bears on the analysis of causation, and the metaphysics of macro-causation. I argue that the throwing of each individual rock is a cause of the window shattering, and generally that individual overdeterminers are causes.

Consider a circle and a pair of its semicircles. Which is prior, the whole or its parts? Are the semicircles dependent abstractions from their whole, or is the circle a derivative construction from its parts? Now in place of the circle consider the entire cosmos (the ultimate concrete whole), and in place of the pair of semicircles consider the myriad particles (the ultimate concrete parts). Which if either is ultimately prior, the one ultimate whole or its many ultimate parts?

One of several problems concerning the possibility of mental causation is that the causal potential of a supervenient property seems to be absorbed by its supervenience base if that base and the supervenient property are not identical. If the causal powers of the supervenient property are a proper subset of the causal powers of the supervenience base then, according to the causal individuation of properties, the supervenience base seems to do all the causal work and the supervenient property appears to (...) be futile. Against this consequence it is possible to argue, first, that the relevant properties of causes must be in some sense proportional to the relevant properties of their effects and, second, that the principle of causal closure serving as a premise in the supervenience argument is probably false. The constraint that the relevant properties of causes should be proportional to the relevant properties of their effects together with the falsity of the closure principle leads to a restoration of the causal efficacy of supervenient properties. (shrink)

‘‘Thus I believe that there is no part of matter which is not—I do not say divisible—but actually divided; and consequently the least particle ought to be considered as a world full of an infinity of different creatures.’’ (Leibniz, letter to Foucher).

The topic of this article is the analysis of the relations between different levels of reality. The core argument is based on considerations of both an epistemology of action and manipulative causality as a criterion of object identity. The argumentation is extended towards the concepts of self-organization and self-regulation. Finally, several views on reduction and the problems of emergence and complexity are discussed.

If you’re a materialist, you probably think that rabbits are conscious. And you ought to think that. After all, rabbits are a lot like us, biologically and neurophysiologically. If you’re a materialist, you probably also think that conscious experience would be present in a wide range of naturally-evolved alien beings behaviorally very similar to us even if they are physiologically very different. And you ought to think that. After all, to deny it seems insupportable Earthly chauvinism. But a materialist who (...) accepts consciousness in weirdly formed aliens ought also to accept consciousness in spatially distributed group entities. If she then also accepts rabbit consciousness, she ought to accept the possibility of consciousness even in rather dumb group entities. Finally, the United States would seem to be a rather dumb group entity of the relevant sort. If we set aside our morphological prejudices against spatially distributed group entities, we can see that the United States has all the types of properties that materialists tend to regard as characteristic of conscious beings. (shrink)

A slew of conceivability arguments have been given against physicalism. Many physicalists try to undermine these arguments by offering accounts of phenomenal concepts that explain how there can be an epistemic gap, but not an ontological gap, between the phenomenal and the physical. Some complain, however, that such accounts fail to do justice to the nature of our introspective grasp of phenomenal properties. A particularly influential version of this complaint comes from David Chalmers (1996; 2003), who claims, in opposition to (...) the accounts of phenomenal concepts described above, that phenomenal concepts have primary and secondary intensions that coincide in all worlds. In this paper, I construct an argument that casts doubt upon Chalmers' claim. At the heart of this argument is an idea that Chalmers shows some affinity for: namely, that introspection doesn't reveal whether phenomenal properties are fundamental properties or whether they are derived from more basic protophenomenal properties. I argue that this claim implies that the primary and secondary intensions of our phenomenal concepts do not coincide in all worlds. In this way, I show that a plausible idea about the powers of introspection – an idea that Chalmers himself is drawn to – is a reason for rejecting the claim that phenomenal concepts have primary and secondary intensions that coincide in all worlds. (shrink)

The main claim of this paper is that notions of implementation based on an isomorphic correspondence between physical and computational states are not tenable. Rather, ``implementation'' has to be based on the notion of ``bisimulation'' in order to be able to block unwanted implementation results and incorporate intuitions from computational practice. A formal definition of implementation is suggested, which satisfies theoretical and practical requirements and may also be used to make the functionalist notion of ``physical realization'' precise. The upshot of (...) this new definition of implementation is that implementation cannot distinguish isomorphic bisimilar from non-isomporphic bisimilar systems anymore, thus driving a wedge between the notions of causal and computational complexity. While computationalism does not seem to be affected by this result, the consequences for functionalism are not clear and need further investigations. (shrink)

The main claim of this paper is that notions of implementation based on an isomorphic correspondence between physical and computational states are not tenable. Rather, ``implementation'' has to be based on the notion of ``bisimulation'' in order to be able to block unwanted implementation results and incorporate intuitions from computational practice. A formal definition of implementation is suggested, which satisfies theoretical and practical requirements and may also be used to make the functionalist notion of ``physical realization'' precise. The upshot of (...) this new definition of implementation is that implementation cannot distinguish isomorphic bisimilar from non-isomporphic bisimilar systems anymore, thus driving a wedge between the notions of causal and computational complexity. While computationalism does not seem to be affected by this result, the consequences for functionalism are not clear and need further investigations. (shrink)

Empirical evidence, it has often been argued, undermines our commonsense assumptions concerning the efficacy of conscious intentions. One of the most influential advocates of this challenge has been Daniel Wegner, who has presented an impressive amount of evidence in support of a model of "apparent mental causation". According to Wegner, this model provides the best explanation of numerous curious and pathological cases of behavior. Further, it seems that Benjamin Libet's classic experiment on the initiation of action and the empirical evidence (...) concerning the confabulation of reason explanations provide further support for this view. In response, I will propose an alternative model of "real mental causation" that can accommodate the empirical evidence just as well as Wegner's. Further, we will see that there is plenty of evidence in support of the assumption that intentions are causally efficacious. This will provide us with ample reason to endorse the model of real mental causation. (shrink)

Sydney Shoemaker's "Subset Account" offers a new take on determinable properties and the realization relation as well as a defense of non-reductive physicalism from the problem of mental causation. At the heart of this account are the claims that (1) mental properties are determinable properties and (2) the causal powers that individuate a determinable property are a proper subset of the causal powers that individuate the determinates of that property. The second claim, however, has led to the accusation that the (...) effects caused by the instantiation of a determinable property will also be caused by the instantiation of the determinates of that property—so instead of solving the problem of mental causation, the Subset Account ends up guaranteeing that the effects of mental properties (and all other types of determinable property) will be causally overdetermined! In this paper, I explore this objection. I argue that both sides in this debate have failed to engage the question at the heart of the objection: Given that both a determinable property and its determinates have the power to cause some effect (E), does it follow that both will actually cause E when the relevant conditions obtain? To make genuine progress towards answering this question, we need to take a serious look at the metaphysics of causation. With the debate properly reframed and issues about the metaphysics of causation front and center, I explore the question of whether the Subset Account is doomed to result in problematic causal overdetermination. (shrink)

In What’s Wrong With Microphysicalism?, Andreas H üttemann argues against the ontological priority of the microphysical, in favour of a ‘pluralism’ that accepts physical systems of all scales as interdependent equals. This is thoughtful and original work, deploying an understanding of the relevant physics to mount a serious challenge to the dominant microphysicalist view.

David Lewis's position, often called analytic functionalism, was inspired by Ryle's analytic behaviorism, which took psychological predicates to express complex sets of behavioral dispositions. In this chapter, the author reviews some tenets of Lewis's philosophy of mind and begins with some comments on the methodology Lewis employed in his analysis of psychological terms, which has become standard in functionalist accounts across philosophy. Then, he discusses the difference between what are often called “realizer functionalism” and “role functionalism,” and argues that Lewis (...) made the wrong choice. In Lewis's argument for the identity theory, the identity of mental states with biological states follows logically from folk‐psychological definitions and broadly physical facts. A central part of folk psychology concerns the interaction of beliefs, desires, and choices. The chapter presents Lewis's often misunderstood account of intentionality. It also presents few pessimistic remarks on the prospect of analyzing phenomenal truths in terms of functional role. (shrink)

Sixteen years after Kim’s seminal paper offering a welcomed analysis of the emergence concept, I propose in this paper a needed extension of Kim’s work that does more justice to the actual diversity of emergentism. Rather than defining emergence as a monolithic third way between reductive physicalism and substance pluralism, and this through a conjunction of supervenience and irreducibility, I develop a comprehensive taxonomy of the possible varieties of emergence in which each taxon—theoretical, explanatory and causal emergence—is properly identified and (...) defined. This taxonomy has two advantages. First, it is unificatory in the sense that the taxa it contains derive from a common unity principle, which consequently constitutes the very hallmark of emergentism. Second, it can be shown that the emergence taxa it contains are able to meet the challenges that are commonly considered as being the hot topics on the emergentists’ agenda, namely the positivity, the consistency and the triviality/liberality challenges. (shrink)

What is the relationship between moral responsibility and causation? Plainly, we are not morally responsible for everything that we cause. For we cause a multitude of things, including things that we couldn't possibly foresee we would cause and with respect to which we cannot be assessed morally. Thus, it is clear that causing something does not entail being morally responsible for it. But, does the converse entailment hold? Does moral responsibility require causation? Intuitively, it does: intuitively, we can only be (...) morally responsible for things that we cause. (shrink)

In this article I address the issue of the ontological conditions of possibility for a naturalistic notion of emergence, trying to determine its fundamental differences from the atomist, vitalist, preformationist and potentialist alternatives. I will argue that a naturalistic notion of ontological emergence can only succeed if we explicitly refuse the atomistic fundamental ontological postulate that asserts that every entity is endowed with a set of absolutely intrinsic properties, being qualitatively immutable through its extrinsic relations. Furthermore, it will be shown (...) that, ironically enough, this metaphysical assumption is implicitly shared by all the above mentioned alternatives to Emergentism. The current article concludes that the notion of organization by itself is not enough, and that ontological emergence can only be justified by assuming a relational ontological perspective that, in opposition both to atomism and holism, defends that the existence-conditions, the identity and the causal behavior of any emergent systemic property can only be conceived, and explained, as constructed by and through specific networks of qualitatively transformative relational processes that occur between the system’s components and between the system and its environment. Additionally, I try to explain how one can make sense of the idea that an emergent phenomenon is both dependent on, and autonomous from, its emergence base. (shrink)

This paper proposes an integrated-structure notion of interlevel emergence, from a dynamic relational ontological perspective. First, I will argue that only the individualist essentialism of atomistic metaphysics can block the possibility of interlevel emergence. Then I will show that we can make sense of emergence by recognizing the formation of structures of transformative and interdependent causal relations in the generation and development of a particular class of mereological complexes called integrated systems. Finally, I shall argue that even though the emergent (...) structural attributes of such systems are not micro-determined nor micro-reducible, they can still be accounted for by an interlevel integrative neo-mechanistic form of explanation. (shrink)

Interactionists hold that minds are non-physical objects that interact with brains. The neural discernment problem for interactionism is that of explaining how non-physical minds produce behavior and cognition by exercising different causal powers over physiologically similar neurons. This paper sharpens the neural discernment problem and proposes two interactionist models of mind-brain interaction that solve it. One model avoids overdetermination while the other respects the causal closure of the physical domain.

Reductive physicalists typically accept the causal argument for their view. On this score, Tiehen parts ways with his fellow reductive physicalists. Heretically, he argues that reductive physicalists should reject the causal argument. After presenting Tiehen's challenge, I defend the orthodoxy. Although not myself a reductive physicalist, I show how reductive physicalists can resist this challenge to the causal argument. I conclude with a positive suggestion about how reductive physicalists should use the causal argument.

Interactionists hold that non-spatial objects causally interact with physical objects. Interactionists have traditionally grappled with the puzzle of how such interaction is possible. More recently, Jaegwon Kim has presented interactionists with a more daunting threat: the pairing argument, which purports to refute interactionism by showing that non-spatial objects cannot stand in causal relations. After reviewing that argument, I develop a challenge to it on behalf of the interactionist. The challenge poses a dilemma: roughly, either haecceities exist or they do not. (...) I argue that the pairing argument fails in either case. While the challenge does not explain exactly how the pairing argument goes wrong, it shows that the argument fails. The challenge also explains the difficulty in pinpointing the pairing argument’s failure: exactly how the pairing argument fails depends on difficult issues concerning the nature of objects. (shrink)

Loewer (in: Physicalism and its discontents, 2001; Philos Phenomenol Res 65:655–663, 2002; in: Contemporary debates in philosophy of mind, 2007) has argued that the nonreductive physicalist should respond to the exclusion problem by endorsing the overdetermination entailed by their view. Kim’s (Physicalism, or something near enough, 2005; in: Contemporary debates in the philosophy of mind, 2007) argument against this reply is based on the premise that mental causation must be a productive relation in order to sustain human agency. In this (...) paper, I challenge the premise that mental causation is a productive relation by appealing to the underlying double prevention structure of the physiological mechanisms of human action. Since the causal pathways from an agent’s mental events to bodily movement involves an absence, mental causation is not productive. This places Kim in a troublesome dilemma in his debate with Loewer: either surrender mental causation or deny that causation is a productive relation. With the support offered for productive mental causation undermined, responses to the exclusion problem based on accepting overdetermination remain viable options for the nonreductive physicalist. (shrink)

My main aim in this paper is to show that influential antireductionist arguments such as Fodor's, Kitcher's, and Dupré's state stronger conclusions than they actually succeed in establishing. By putting to the fore the role of metaphysical presuppositions in these arguments, I argue that they are convincing only as 'temporally qualified argument', and not as 'generally valid ones'. I also challenge the validity of the strategy consisting in drawing metaphysical lessons from the failure of reductionist programmes. What most of these (...) antireductionist standpoints have in common is a pretension to methodological imports. I conclude by explaining why, in order to remain relevant for scientific practice, antireductionist arguments should stay clear of metaphysics, for the latter, I argue, does not mix well with a taste for methodological prescriptions. (shrink)

forthcoming in Philosophy and Phenomenological Research.

This paper explicates two notions of emergencewhich are based on two ways of distinguishinglevels of properties for dynamical systems.Once the levels are defined, the strategies ofcharacterizing the relation of higher level to lower levelproperties as diachronic and synchronic emergenceare the same. In each case, the higher level properties aresaid to be emergent if they are novel or irreducible with respect to the lower level properties. Novelty andirreducibility are given precise meanings in terms of the effectsthat the change of a bifurcation (...) or perturbation parameterin the system has. (The same strategy can be applied to otherways of separating levels of properties, like themicro/macro distinction.)The notions of emergence developed here are notions of emergencein a weak sense: the higher level emergent properties wecapture are always structural properties (or are realized insuch properties), that is, they are defined in terms of the lowerlevel properties and their relations. Diachronic and synchronicemergent properties are distinctions within thecategory of structural properties. (shrink)

Kim’s model of ‘functional reduction’ of properties is shown to fail in a class of cases from physics involving properties at different spatial levels. The diagnosis of this failure leads to a non-reductive account of the relation of micro and macro properties.

We examine some assumptions about the nature of 'levels of reality' in the light of examples drawn from physics. Three central assumptions of the standard view of such levels (for instance, Oppenheim and Putnam 1958) are (i) that levels are populated by entities of varying complexity, (ii) that there is a unique hierarchy of levels, ranging from the very small to the very large, and (iii) that the inhabitants of adjacent levels are related by the parthood relation. Using examples from (...) physics, we argue that it is more natural to view the inhabitants of levels as the behaviors of entities, rather than entities themselves. This suggests an account of reduction between levels, according to which one behavior reduces to another if the two are related by an appropriate limit relation. By considering cases where such inter-level reduction fails, we show that the hierarchy of behaviors differs in several respects from the standard hierarchy of entities. In particular, while on the standard view, lower-level entities are 'micro' parts of higher-level entities, on our view, a system's macro-level behavior can be seen as a ('non-spatial') part of its micro-level behavior. We argue that this second hierarchy is not really in conflict with the standard view and that it better suits examples of explanation in science. (shrink)

This paper considers two ways functions figure into scientific explanations: (i) via laws?events are causally explained by subsuming those events under functional laws; and (ii) via designs?capacities are explained by specifying the functional design of a system. We argue that a proper understanding of how functions figure into design explanations of capacities makes it clear why such functions are ill-suited to figure into functional-cum-causal law explanations of events, as those explanations are typically understood. We further argue that a proper understanding (...) of how functions enter into design explanations of capacities enables us to show why two prominent objections to functionalism in the philosophy mind?the argument from metaphysically necessary effects (Bennett, 2007; Rupert, 2006) and causal exclusion (Kim, 1993, 1998; Malcolm, 1968)?are misguided when interpreted as posing a threat to functional explanation in science across the board. If those arguments pose a threat at all, they pose it to instances of (i); however, a great number of the functional explanations we find in psychology?and the sciences generally?are instances of (ii). (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)

In this paper I attempt to respond to the worries of the source incompatibilist, and try to sketch a naturalistically plausible, compatibilist notion of self-authorship and control that I believe captures important aspects of the folk intuitions regarding freedom and responsibility. It is my hope to thus offer those moved by source incompatibilist worries a reason not to adopt what P.F. Strawson called “the obscure and panicky metaphysics of Libertarianism” (P. F. Strawson, 1982) or the panic-inducing moral austerity of the (...) hard incompatibilist (Pereboom, 2001). I am well aware that many great minds have sunk their teeth into this problem and have not prevailed, but at the very least, I hope to become clearer on where the sticking points are. (shrink)