An actual cause of some token effect is itself a token event that helped to bring about that effect. The notion of an actual cause is different from that of a potential cause – for example a pre-empted backup – which had the capacity to bring about the effect, but which wasn't in fact operative on the occasion in question. Sometimes actual causes are also distinguished from mere background conditions: as when we judge that the struck match was a cause (...) of the fire, while the presence of oxygen was merely part of the relevant background against which the struck match operated. Actual causation is also to be distinguished from type causation: actual causation holds between token events in a particular, concrete scenario; type causation, by contrast, holds between event kinds in scenario kinds. (shrink)

Causal claims are context sensitive. According to the old orthodoxy (Mackie 1974, Lewis 1986, inter alia), the context sensitivity of causal claims is all due to conversational pragmatics. According to the new contextualists (Hitchcock 1996, Woodward 2003, Maslen 2004, Menzies 2004, Schaffer 2005, and Hall ms), at least some of the context sensitivity of causal claims is semantic in nature. I want to discuss the prospects for causal contextualism, by asking why causal claims are context sensitive, what they are sensitive (...) to, and where they are sensitive to it. (shrink)

I argue that we need to distinguish between three concepts of actual causation: total, path-changing, and contributing actual causation. I provide two lines of argument in support of this account. First, I address three thought experiments that have been troublesome for unified accounts of actual causation, and I show that my account provides a better explanation of corresponding causal intuitions. Second, I provide a functional argument: if we assume that a key purpose of causal concepts is to guide agency, we (...) are better off making a distinction between three concepts of actual causation. (shrink)

When evaluating theories of causation, intuitions should not play a decisive role, not even intuitions in flawlessly-designed thought experiments. Indeed, no coherent theory of causation can respect the typical person’s intuitions in redundancy (pre-emption) thought experiments, without disrespecting their intuitions in threat-and-saviour (switching/short-circuit) thought experiments. I provide a deductively sound argument for these claims. Amazingly, this argument assumes absolutely nothing about the nature of causation. I also provide a second argument, whose conclusion is even stronger: the typical person’s causal intuitions (...) are thoroughly unreliable. This argument proceeds by raising the neglected question: in what respects is information about intermediate and enabling variables relevant to reliable causal judgment? (shrink)

Philosophers have recently highlighted substantial affinities between causation and grounding, which has inclined some to import the conceptual and formal resources of causal interventionism into the metaphysics of grounding. The prospect of grounding interventionism raises two important questions: exactly what are grounding interventions, and why should we think they enable knowledge of grounding? This paper will approach these questions by examining how causal interventionists have addressed (or might address) analogous questions and then comparing the available options for grounding interventionism. I (...) argue that grounding interventions must be understood in worldly terms, as adding something to or deleting something from the roster of entities, or making some fact obtain or fail to obtain. I consider three bases for counterfactual assessment: imagination, structural equation models, and background theory. I conclude that grounding interventionism requires firmer epistemological foundations, without which the interventionist's epistemology of grounding is incomplete and ineffectually rationalist. (shrink)

A number of recent authors (Galles and Pearl, Found Sci 3 (1):151–182, 1998; Hiddleston, Noûs 39 (4):232–257, 2005; Halpern, J Artif Intell Res 12:317–337, 2000) advocate a causal modeling semantics for counterfactuals. But the precise logical significance of the causal modeling semantics remains murky. Particularly important, yet particularly under-explored, is its relationship to the similarity-based semantics for counterfactuals developed by Lewis (Counterfactuals. Harvard University Press, 1973b). The causal modeling semantics is both an account of the truth conditions of counterfactuals, and (...) an account of which inferences involving counterfactuals are valid. As an account of truth conditions, it is incomplete. While Lewis's similarity semantics lets us evaluate counterfactuals with arbitrarily complex antecedents and consequents, the causal modeling semantics makes it hard to ascertain the truth conditions of all but a highly restricted class of counterfactuals. I explain how to extend the causal modeling language to encompass a wider range of sentences, and provide a sound and complete axiomatization for the extended language. Extending the truth conditions for counterfactuals has serious consequences concerning valid inference. The extended language is unlike any logic of Lewis's: modus ponens is invalid, and classical logical equivalents cannot be freely substituted in the antecedents of conditionals. (shrink)

Philosophical works on actual causation make wide use of thought experiments. The principal aim of this paper is to show how thought experiments are used in the contemporary debate over actual causation and to discuss their role in relation to formal approaches in terms of causal models. I claim that a recourse to thought experiments is not something old fashioned or superseded by abstract models, but it is useful to interpret abstract models themselves and to use our intuitions to judge (...) the results of the model. Recent research on actual causation has stressed the importance of integrating formal models with some notion of normality; I suggest that thought experiments can be useful in eliciting intuitions where normality is not intended in a statistical sense. The first expository part gives a short presentation of the notion of actual causation, summarising some typical problems of counterfactual approaches and how they are treated in causal and structural models. The second part focuses on the problems of model isomorphism and criticises some radical ideas opposing the role of thought experiments, claiming that they may also be of use in evaluating formal models. (shrink)

Philosophical works on actual causation make wide use of thought experiments. The principal aim of this paper is to show how thought experiments are used in the contemporary debate over actual causation and to discuss their role in relation to formal approaches in terms of causal models. I claim that a recourse to thought experiments is not something old fashioned or superseded by abstract models, but it is useful to interpret abstract models themselves and to use our intuitions to judge (...) the results of the model. Recent research on actual causation has stressed the importance of integrating formal models with some notion of normality; I suggest that thought experiments can be useful in eliciting intuitions where normality is not intended in a statistical sense. The first expository part gives a short presentation of the notion of actual causation, summarising some typical problems of counterfactual approaches and how they are treated in causal and structural models. The second part focuses on the problems of model isomorphism and criticises some radical ideas opposing the role of thought experiments, claiming that they may also be of use in evaluating formal models. (shrink)

Philosophical works on actual causation make wide use of thought experiments. The principal aim of this paper is to show how thought experiments are used in the contemporary debate over actual causation and to discuss their role in relation to formal approaches in terms of causal models. I claim that a recourse to thought experiments is not something old fashioned or superseded by abstract models, but it is useful to interpret abstract models themselves and to use our intuitions to judge (...) the results of the model. Recent research on actual causation has stressed the importance of integrating formal models with some notion of normality; I suggest that thought experiments can be useful in eliciting intuitions where normality is not intended in a statistical sense. The first expository part gives a short presentation of the notion of actual causation, summarising some typical problems of counterfactual approaches and how they are treated in causal and structural models. The second part focuses on the problems of model isomorphism and criticises some radical ideas opposing the role of thought experiments, claiming that they may also be of use in evaluating formal models. (shrink)

Pearl opened the door to formally defining actual causation using causal models. His approach rests on two strategies: first, capturing the widespread intuition that X = x causes Y = y iff X = x is a Necessary Element of a Sufficient Set for Y = y, and second, showing that his definition gives intuitive answers on a wide set of problem cases. This inspired dozens of variations of his definition of actual causation, the most prominent of which are due (...) to Halpern & Pearl. Yet all of them ignore Pearl’s first strategy, and the second strategy taken by itself is unable to deliver a consensus. This paper offers a way out by going back to the first strategy: it offers six formal definitions of causal sufficiency and two interpretations of necessity. Combining the two gives twelve new definitions of actual causation. Several interesting results about these definitions and their relation to the various Halpern & Pearl definitions are presented. Afterwards the second strategy is evaluated as well. In order to maximize neutrality, the paper relies mostly on the examples and intuitions of Halpern & Pearl. One definition comes out as being superior to all others, and is therefore suggested as a new definition of actual causation. (shrink)

In this paper we present a new proposal for defining actual causation, i.e., the problem of deciding if one event caused another. We do so within the popular counterfactual tradition initiated by Lewis, which is characterised by attributing a fundamental role to counterfactual dependence. Unlike the currently prominent definitions, our approach proceeds from the ground up: we start from basic principles, and construct a definition of causation that satisfies them. We define the concepts of counterfactual dependence and production, and put (...) forward principles such that dependence is an unnecessary but sufficient condition for causation, whereas production is an insufficient but necessary condition. The resulting definition of causation is a suitable compromise between dependence and production. Every principle is introduced by means of a paradigmatic example of causation. We illustrate some of the benefits of our approach with two examples that have spelled trouble for other accounts. We make all of this formally precise using structural equations, which we extend with a timing over all events. (shrink)

The majority of the currently flourishing theories of actual causation are located in a broadly counterfactual framework that draws on structural equations. In order to account for cases of symmetric overdeterminiation and preemption, these theories resort to rather intricate analytical tools, most of all, to what Hitchcock has labeled explicitly nonforetracking counterfactuals. This paper introduces a regularity theoretic approach to actual causation that only employs material conditionals, standard Boolean minimization procedures, and a stability condition that regulates the behavior of causal (...) models under model expansions. Notwithstanding its lightweight analytical toolbox, this regularity theory performs at least as well as the structural equations accounts with their heavy appliances. (shrink)

In this paper, we analyse actual causation in terms of production. The latter concept is made precise by a strengthened Ramsey Test semantics of conditionals: \ iff, after suspending judgement about A and C, C is believed in the course of assuming A. This test allows us to verify or falsify that an event brings about another event. Complementing the concept of production by a weak condition of difference-making gives rise to a full-fledged analysis of causation.

We aim to devise a Ramsey test analysis of actual causation. Our method is to define a strengthened Ramsey test for causal models. Unlike the accounts of Halpern and Pearl ([2005]) and Halpern ([2015]), the resulting analysis deals satisfactorily with both over- determination and conjunctive scenarios.

In this paper, we propose a regularity theory of causation. The theory aims to be reductive and to align with our pre‐theoretic understanding of the causal relation. We show that our theory can account for a wide range of causal scenarios, including isomorphic scenarios, omissions, and scenarios which suggest that causation is not transitive.

This paper provides a general introduction to the use of causal models in the metaphysics of causation, specifically structural equation models and directed acyclic graphs. It reviews the formal framework, lays out a method of interpretation capable of representing different underlying metaphysical relations, and describes the use of these models in analyzing causation.

This paper addresses the question of what constitutes an apt interpreted model for the purpose of analyzing causation. I first collect universally adopted aptness principles into a basic account, flagging open questions and choice points along the way. I then explore various additional aptness principles that have been proposed in the literature but have not been widely adopted, the motivations behind their proposals, and the concerns with each that stand in the way of universal adoption. I conclude that the remaining (...) work of articulating aptness for a SEM analysis of causation is tied up with issue to do with modality, ontology, and mereology. Continuing this work is therefore likely to shed light on the relationship between these areas and causation more generally. (shrink)

This article takes stock of the regularity theory of causation. It considers three challenges to the theory: the problem of joint effects, the problems of redundant causation, and omission‐involving causation. The former is often cited as a special, and especially challenging, problem for regularity theories. But the force of this problem has been greatly overstated. The threat to regularity theories instead comes from the latter two.

Humans often attribute the things that happen to one or another actual cause. In this chapter, we survey some recent philosophical and psychological research on causal attribution. We pay special attention to the relation between graphical causal modeling and theories of causal attribution. We think that the study of causal attribution is one place where formal and experimental techniques nicely complement one another.

Among the many causes of an event, how do we distinguish the important ones? Are there ways to distinguish among causes on principled grounds that integrate both practical aims and objective knowledge? Psychologist Tania Lombrozo has suggested that causal explanations “identify factors that are ‘exportable’ in the sense that they are likely to subserve future prediction and intervention” (Lombrozo 2010, 327). Hence portable causes are more important precisely because they provide objective information to prediction and intervention as practical aims. However, (...) I argue that this is only part of the epistemology of causal selection. Recent work on portable causes has implicitly assumed them to be portable within the same causal system at a later time. As a result, it has appeared that the objective content of causal selection includes only facts about the causal structure of that single system. In contrast, I present a case study from systems biology in which scientists are searching for causal factors that are portable across rather than within causal systems. By paying careful attention to how these biologists find portable causes, I show that the objective content of causal selection can extend beyond the immediate systems of interest. In particular, knowledge of the evolutionary history of gene networks is necessary for correctly identifying causal patterns in these networks that explain cellular behavior in a portable way. (shrink)

Halpern and Hitchcock appealed to the normality of witness worlds to solve the problem of isomorphism in the Halpern-Pearl definition of actual causality. This paper first proposes a new isomorphism counterexample, called “bogus permission,” to show that their approach is unsuccessful. Then, to solve the problem of isomorphism, I propose a new improvement over the Halpern-Pearl definition by introducing default worlds. Finally, I demonstrate that my new definition can resolve more potential counterexamples than similar approaches in the current literature, including (...) the Lewisian causal dependence, Menziesian causal dependence, and modified version of the Halpern-Pearl definition. Some other advantages of my definition are also discussed. (shrink)

Incorporating normality ascriptions into counterfactual theories of causation was supposed to handle isomorphs. It doesn’t—conjoining isomorphs can produce cases that such ascriptions cannot resolve.

Some have argued that our intuitive reactions to a number of cases of moral responsibility can only be preserved at the expense of a unified account of moral responsibility for acts and omissions. I argue against this conclusion, proposing that a plausible condition on responsibility, the Causal Condition can, when properly elaborated, justify the relevant intuitive data.

Comparative syllogism is a type of scientific reasoning widely used, explicitly or implicitly, for inferences from observations to conclusions about effectiveness, but its philosophical significance has not been fully elaborated or appreciated. In its simplest form, the comparative syllogism derives a conclusion about the effectiveness of a factor (e.g. a treatment or an exposure) on a certain property via an experiment design using a test (experimental) group and a comparison (control) group. Our objective is to show that the comparative syllogism (...) can be understood as encoding a simulation view of counterfactuals, in that counterfactual situations are conceptual constructs that can be correctly simulated by homogeneous comparison groups. In this simulation view, the empirical data from the comparison groups play an evidential role in the evaluation of counterfactuals and in obtaining counterfactual knowledge. We further indicate how successful experimental designs can help us to obtain correct simulations, and thus to bring us to scientifically-empirically based counterfactual knowledge. (shrink)

We typically judge that hasteners are causes of what they hasten, while delayers are not causes of what they delay. These judgements, I suggest, are sensitive to an underlying metaphysical distinction. To see this, we need to pay attention to a relation that I call positive security-dependence, where an event E security-depends positively on an earlier event C just in case E could more easily have failed to occur if C had not occurred. I suggest that we judge that an (...) event C is a cause of a later event E only if E security-depends positively on C. This explains our causal judgements in typical cases of hastening and delaying as well as in atypical cases, where we judge that hasteners are not causes of what they hasten or that delayers are causes of what they delay. (shrink)

I argue that there are some causal relata for which it is indeterminate whether one caused the other. Positing indeterminacy in causation helps us defend contested principles in the logic of causation and makes possible new ways of thinking about the theoretical impact of symmetric causal overdetermination. I close by discussing amendments of current theories of causation that would help explain causal indeterminacy.

I argue that there are some causal relata for which it is indeterminate whether one caused the other. Positing indeterminacy in causation helps us defend contested principles in the logic of causation and makes possible new ways of thinking about the theoretical impact of symmetric causal overdetermination. I close by discussing amendments of current theories of causation that would help explain causal indeterminacy.

I argue that there are some causal relata for which it is indeterminate whether one caused the other. Positing indeterminacy in causation helps us defend contested principles in the logic of causation and makes possible new ways of thinking about the theoretical impact of symmetric causal overdetermination. I close by discussing amendments of current theories of causation that would help explain causal indeterminacy.

Philosophers discussing causation take on, as one of their responsibilities, the task of specifying an ontology of causation. Both standard and non-standard accounts of that ontology make two assumptions: that the ontological category of causal relata admits a unique specification, and that cause and effect are of the same ontological type. These assumptions are rarely made explicit, but there is in fact little reason to think them true. It is argued here that, if the question has any interest, there are (...) some considerations in favor of rejecting Uniqueness and Uniformity, no good reasons in favor of them, but good reason to think that we are not in a position to make a decisive pronouncement, since some of the information needed to make a judgement on the matter is empirical in character. Philosophers have therefore made two mistakes about the relata of causation: one is to have accepted unwarranted restrictions on the categories pertinent to causation; the other is to have wrongly assumed that we are in a position to name them. (shrink)

Recently, there has been a large amount of support for the idea that causal claims can be sensitive to normative considerations. Previous work has focused on the concept of actual causation, defending the claim that whether or not some token event c is a cause of another token event e is influenced by both statistical and prescriptive norms. I focus on the policy debate surrounding alternative energies, and use the causal modelling framework to show that in this context, people’s normative (...) commitments don’t just affect the causal claims they are willing to endorse, but also their understanding of the causal structure. In the context of the alternative energy debate, normative considerations affect our understanding of the causal structure by influencing our judgements about which variables should be held fixed, and therefore which variables should be relegated to the background of a causal model. In cases of extreme disagreement, normative commitments can also affect which causal structure we think should be instantiated. Thus, focusing on a new context has revealed a previously unexplored sense in which normative factors are incorporated into causal reasoning. (shrink)

ABSTRACT Contrastive and deviant/default accounts of causation are becoming increasingly common. However, discussions of these accounts have neglected important questions, including how the context determines the contrasts, and what shared knowledge is necessary for this to be possible. I address these questions, using organic chemistry as a case study. Focusing on one example—nucleophilic substitution—I show that the kinds of causal claims that can be made about an organic reaction depend on how the reaction is modelled, and argue that paying attention (...) to the various ways that reactions are modelled has important implications for our understanding of causation. _1_ Introduction _2_ General Contrastive Causal Claims in Organic Chemistry _3_ Deviant Causal Claims in Organic Chemistry _4_ Nucleophilic Substitution Reactions _5_ The Causal Modelling Tradition _5.1_ The type/token distinction _6_ Competing Reactions _6.1_ Type- and token-causal claims, variables, and values of variables _7_ Disambiguation of ‘Reaction’ _8_ Reaction Kinds _9_ Specific Reactions _9.1_ Specific reactions and token-causal claims _9.2_ Specific reactions and type-causal claims _10_ Implications _10.1_ Kinds of causal claim _10.2_ Contrastive and deviant causal claims _10.3_ Model relativity. (shrink)

Philosophers have proposed many alleged examples of non-causal explanations of particular events. I discuss several well-known examples and argue that they fail to be non-causal. 1 Questions2 Preliminaries3 Explanations That Cite Causally Inert Entities4 Explanations That Merely Cite Laws I5 Stellar Collapse6 Explanations That Merely Cite Laws II7 A Final Example8 Conclusion.

Philosophers have proposed many alleged examples of non-causal explana- tions of particular events. I discuss several well-known examples and argue that they fail to be non-causal.

Grounding is often glossed as metaphysical causation, yet no current theory of grounding looks remotely like a plausible treatment of causation. I propose to take the analogy between grounding and causation seriously, by providing an account of grounding in the image of causation, on the template of structural equation models for causation.

Causation is widely assumed to be a binary relation: c causes e. I will argue that causation is a quaternary, contrastive relation: c rather than C* causes e rather than E*, where C* and E* are nonempty sets of contrast events. Or at least, I will argue that treating causation as contrastive helps resolve some paradoxes.

I argue that, according to ordinary morality, there is moral inertia, that is, moral pressure to fail to intervene in certain circumstances. Moral inertia is manifested in scenarios with a particular causal structure: deflection scenarios, where a threatening or benefiting process is diverted from a group of people to another. I explain why the deflection structure is essential for moral inertia to be manifested. I argue that there are two different manifestations of moral inertia: strict prohibitions on interventions, and constraints (...) on interventions. Finally, I discuss the connection between moral inertia and the distinction between killing and letting die (or doing and allowing harm). (shrink)

I explore the question of how to ground the responsibility of agents in some tricky cases involving multiple agents who act in a non-coordinated fashion. These are scenarios where no single agent has the individual ability to make a difference to a harmful outcome, but where the outcome would have been avoided if they had all acted as they should have (thus, the agents collectively made a difference to the outcome’s occurrence). I argue that an important source of the problem (...) is that it’s hard to motivate a concept of cause that can be behind the agents’ responsibility in these cases. I illustrate the problem with a particular example: Yablo’s proportionality criterion on causation. I then sketch a possible solution. (shrink)

Bayes nets are formal representations of causal systems that many psychologists have claimed as plausible mental representations. One purported advantage of Bayes nets is that they may provide a theory of counterfactual conditionals, such as If Calvin had been at the party, Miriam would have left early. This article compares two proposed Bayes net theories as models of people's understanding of counterfactuals. Experiments 1-3 show that neither theory makes correct predictions about backtracking counterfactuals (in which the event of the if-clause (...) occurs after the event of the then-clause), and Experiment 4 shows the same is true of forward counterfactuals. An amended version of one of the approaches, however, can provide a more accurate account of these data. (shrink)

Pre-emption cases have been taken by almost everyone to imply the unviability of the simple counterfactual theory of causation. Yet there is ample motivation from scientific practice to endorse a simple version of the theory if we can. There is a way in which a simple counterfactual theory, at least if understood contrastively, can be supported even while acknowledging that intuition goes firmly against it in pre-emption cases—or rather, only in some of those cases. For I present several new pre-emption (...) cases in which causal intuition does not go against the counterfactual theory, a fact that has been verified experimentally. I suggest an account of framing effects that can square the circle. Crucially, this account offers hope of theoretical salvation—but only to the counterfactual theory of causation, not to others. Again, there is (admittedly only preliminary) experimental support for this account. (shrink)

Causal contextualism holds that sentences of the form ‘c causes e’ have context-sensitive truth-conditions. We consider four arguments invoked by Jonathan Schaffer in favor of this view. First, he argues that his brand of contextualism helps solve puzzles about transitivity. Second, he contends that how one describes the relata of the causal relation sometimes affects the truth of one’s claim. Third, Schaffer invokes the phenomenon of contrastive focus to conclude that causal statements implicitly designate salient alternatives to the cause and (...) effect. Fourth, he claims that the appropriateness of a causal statement depends on what is contextually taken for granted or made salient. We show that causal invariantism can explain these linguistic data at least as well as contextualism. We then argue that pace Schaffer, some causal sentences are always correct and can never be plausibly denied, regardless of the context. (shrink)

This paper argues that a counterpart-theoretic treatment of events, combined with a counterfactual theory of causation, can help resolve three puzzles from the causation literature. First, CCT traces the apparent contextual shifts in our causal attributions to shifts in the counterpart relation which obtains in those contexts. Second, being sensitive to shifts in the counterpart relation can help diagnose what goes wrong in certain prominent examples where the transitivity of causation appears to fail. Third, CCT can help us resurrect the (...) much-maligned fragility response to the problems of late pre-emption by understanding fragility in counterpart-theoretic terms. Some reasons to prefer this CCT approach to rivals are discussed. (shrink)

Causal exclusion arguments are taken to threaten the autonomy of the special sciences, and the causal efficacy of mental properties. A recent line of response to these arguments has appealed to “independently plausible” and “well grounded” theories of causation to rebut key premises. In this paper I consider two papers which proceed in this vein and show that they share a common feature: they both require causes to be proportional to their effects. I argue that this feature is a bug, (...) and one that generalises: any attempt to rescue the autonomy of the special sciences, or the efficacy of the mental, from exclusion worries had better not look to proportionality for help. (shrink)

It is natural to think of causes as difference-makers. What exact difference causes make, however, is an open question. In this paper, I argue that the right way of understanding difference-making is in terms of causal processes: causes make a difference to a causal process that leads to the effect. I will show that this way of understanding difference-making nicely captures the distinction between causing an outcome and helping determine how the outcome happens and, thus, explains why causation is not (...) transitive. Moreover, the theory handles tricky cases that are problematic for competing accounts of difference-making. (shrink)

In the last decade, several researchers have proposed theories of actual causation that make use of structural equations and directed graphs. Many of these researchers are committed to a widely-endorsed folk attribution desideratum, according to which an important constraint on the acceptability of a theory of actual causation is agreement between the deliverances of the theory with respect to specific cases and the reports of untutored individuals about those same cases. In the present article, we consider a small collection of (...) related theories of actual causation, including a purely structural theory and two theories that supplement the structural equations with considerations of defaults, typicality, and normality. We argue that each of these three theories are meant to satisfy the FAD, and then we present empirical evidence that they fail to do so for several variations on a simple scenario from the literature. Drawing on our previous work on the responsibility view of folk causal attribitons, we conclude by offering a solution that allows the latter two theories to satisfy the FAD for these cases. The solution is to give up on concerns with typicality and focus on injunctive norms in supplementing the graphical modeling machinery. (shrink)

Several prominent, contemporary theories of actual causation maintain that in order for something to count as an actual cause (in the circumstances) of some known effect, the potential cause must be a difference-maker with respect to the effect in some restricted range of circumstances. Although the theories disagree about how to restrict the range of circumstances that must be considered in deciding whether something counts as an actual cause of a known effect, the theories agree that at least some counterfactual (...) circumstances must be considered. I argue that the theories are still too permissive in the range of counterfactual circumstances they admit for consideration, and I present simple counter-examples that make use of this overpermissiveness. (shrink)