The impossibility of a satisfactory population prospect axiology (independently of Finite Fine-Grainedness)

Abstract

Arrhenius’s impossibility theorems purport to demonstrate that no population axiology can satisfy each of a small number of intuitively compelling adequacy conditions. However, it has recently been pointed out that each theorem depends on a dubious assumption: Finite Fine-Grainedness. This assumption states that there exists a finite sequence of slight welfare differences between any two welfare levels. Denying Finite Fine-Grainedness makes room for a lexical population axiology which satisfies all of the compelling adequacy conditions in each theorem. Therefore, Arrhenius’s theorems fail to prove that there is no satisfactory population axiology. In this paper, I argue that Arrhenius’s theorems can be repurposed. Since all of our population-affecting actions have a non-zero probability of bringing about more than one distinct population, it is population prospect axiologies that are of practical relevance, and amended versions of Arrhenius’s theorems demonstrate that there is no satisfactory population prospect axiology. These impossibility theorems do not depend on Finite Fine-Grainedness, so lexical views do not escape them.

1 Introduction

Some possible populations are better than others. For example, a population in which every person lives a wonderful life is better than a population in which those same people live awful lives. What’s more, this betterness relation holds (at least sometimes) between populations that differ in size. A population in which every person lives a wonderful life is better than a marginally bigger population in which every person lives an awful life.

These cases are clear-cut, but others are less certain. Is a population in which one million people live a wonderful life better than a population in which one billion people live a good life? Is a population in which two million people live wonderful lives and one million people live awful lives better than a population in which no one lives at all? It would be useful to have a population axiology—a betterness ordering over populations—to adjudicate in cases like these.

Unfortunately, formulating a satisfactory population axiology has proved difficult. Indeed, some claim that it is impossible. Several authors offer impossibility theorems purporting to demonstrate that no population axiology can satisfy a small number of adequacy conditions.¹ Arrhenius’s six theorems represent the state-of-the-art.² They employ logically weaker and intuitively more compelling adequacy conditions than other theorems extant in the literature, and so have drawn much of the scholarly attention.

However, it has recently been pointed out that each of Arrhenius’s six theorems rests on a dubious assumption (Thomas, 2018; Carlson, forthcoming). The assumption, which has been dubbed Finite Fine-Grainedness, states that one can get from a very positive welfare level to a very negative welfare level via a finite number of ‘slight’ decreases in welfare.³ The upshot of denying Finite Fine-Grainedness is twofold. First, it makes room for a lexical population axiology in which welfare levels and population-values are represented by vectors. Views of this kind constitute a counterexample to Arrhenius’s First, Fourth, Fifth, and Sixth Impossibility Theorems. Second, it strips certain adequacy conditions of their plausibility. More precisely, it renders doubtful the Inequality Aversion condition employed in Arrhenius’s Second and Third Impossibility Theorems. Therefore, none of Arrhenius’s six theorems proves that there is no satisfactory population axiology. Each theorem depends on Finite Fine-Grainedness for the validity of its proof or the plausibility of its adequacy conditions.

Nevertheless, Arrhenius’s theorems remain important. In this paper, I demonstrate that they can be turned into theorems stating the impossibility of a satisfactory population prospect axiology: a satisfactory betterness ordering over alternatives that have some probability of bringing about one or more distinct populations. Since all of our population-affecting actions have a non-zero probability of bringing about more than one distinct population, it is population prospect axiologies that are of practical relevance, and these amended theorems state that no such axiology can satisfy each of a small number of compelling adequacy conditions. The key difference is that these theorems employ risky versions of Arrhenius’s original conditions. The original conditions mandate, roughly, that a drop in welfare for one person can be compensated by a large enough increase in welfare elsewhere. The risky versions mandate, again roughly, that a slightly increased risk of a drop in welfare for one person can be compensated by a large enough increase in welfare elsewhere. These risky adequacy conditions are compelling even if Finite Fine-Grainedness is false, so lexical views do not escape these amended theorems.

I begin in Sect. 2 by outlining the framework of this paper more precisely. Then in Sect. 3 I formulate the adequacy conditions for Arrhenius’s favoured Sixth Impossibility Theorem. I give some prima facie reasons to doubt Finite Fine-Grainedness in Sect. 4, after which I sketch out a simple lexical view and explain how it escapes the Sixth Theorem. Then in Sect. 5 I present a risky version of the theorem that does not depend on the truth of Finite Fine-Grainedness. I prove that Arrhenius’s other impossibility theorems can be patched up with a similar manoeuvre in the Appendix.

2 The framework

In this paper, I use definitions and structural assumptions broadly in line with those of Arrhenius (2011; forthcoming). Two exceptions are worth noting. First, I borrow notation from Thomas’s manuscript⁴ to simplify the presentation of the adequacy conditions and proofs. Second, I drop the assumption of Finite Fine-Grainedness in Sect. 5 and substitute new assumptions about the ordering of population prospects.

Arrhenius’s impossibility theorems make extensive use of the notion of welfare: a measure of how good a person’s life is for them. Lives are individuated by the person whose life it is and the kind of life it is, and it is assumed that the ‘has at least as high welfare as’ relation applied to the set of possible lives is reflexive and transitive, but not necessarily complete. Life x is better than life y iff x has at least as high welfare as y and y does not have at least as high welfare as x. Lives x and y are incommensurable iff x does not have at least as high welfare as y and y does not have at least as high welfare as x.⁵ Lives x and y are equally good iff x has at least as high welfare as y and y has at least as high welfare as x. If two lives are equally good, they are at the same welfare level.

A life is neutral iff it is equally good for the person living it as some standard. This standard is defined differently by different authors. Arrhenius (2011, 5) defines it as a neutral welfare component: a component that makes a person’s life neither better nor worse. Others define it as nonexistence (Arrhenius & Rabinowicz, 2015) or a life constantly at a neutral level of temporal welfare (Broome, 2004, 68; Bykvist, 2007, 101). My discussion is compatible with all such definitions. A life is at a positive welfare level iff it is better than the standard, and at a negative welfare level iff it is worse than the standard.

Arrhenius assumes Finite Fine-Grainedness:

Finite Fine-Grainedness

There exists a finite sequence of slight welfare differences between any two welfare levels. (Arrhenius, 2016, 171; forthcoming)

We can leave ‘slight’ to be understood intuitively for now. Suppose, for example, that x is a long life and y is an otherwise identical life featuring one less second of mild pleasure. The difference between the welfare levels of x and y would certainly qualify as slight.

Arrhenius uses Finite Fine-Grainedness to ensure the existence of a finite, linearly ordered set of welfare levels, ${\mathbb{W}}$, with two properties:

• 1. The set ranges from a very negative welfare level, through a barely negative welfare level and three barely positive welfare levels, each higher than the last, up to three very positive welfare levels, each higher than the last.

• 2. The difference between adjacent welfare levels is slight.

We can represent the welfare levels in ${\mathbb{W}}$ with integers ranging from ω up to β + 2:

$$\omega < \ldots < - 1 < 0 < 1 < 2 < 3 < \ldots < \beta < \beta + 1 < \beta + 2$$

Here 0 represents the neutral welfare level, − 1 represents a barely negative level, and 1, 2, and 3 represent barely positive levels. ω represents a very negative level, and β and above represent very positive levels. These are all the welfare levels employed in Arrhenius’s proofs.

A population is a set of lives in a possible world. A population axiology is an ‘at least as good as’ relation on the set of all possible populations: reflexive and transitive, but not necessarily complete. Population X is better than population Y iff X is at least as good as Y and Y is not at least as good as X. Populations X and Y are incommensurable iff X is not at least as good as Y and Y is not at least good as X.⁶ Population X is equally good as population Y iff X is at least as good as Y and Y is at least as good as X. If two populations are equally good, they have the same value.

Two features of Arrhenius’s adequacy conditions are worth noting. The first is that they quantify over ${\mathbb{W}}$. This set may be a proper subset of the set of all welfare levels, but that possibility is of little consequence. If no population axiology can satisfy Arrhenius’s adequacy conditions quantifying over ${\mathbb{W}}$, then no population axiology can satisfy those adequacy conditions quantifying over all welfare levels. The second is that each adequacy condition includes an ‘other things being equal’ clause. That is needed because populations determine facts besides the distribution of welfare, and these facts might be axiologically relevant. The purpose of the ‘other things being equal’ clause is to hold all such non-welfare facts fixed.

In what follows, I use $\left[\kern-0.15em\left[ a \right]\kern-0.15em\right]$ to denote a population of one life at welfare level $a$, and $m\left[\kern-0.15em\left[ a \right]\kern-0.15em\right]$ to denote a population of m lives at a. Uppercase letters like A, B, X, and Y denote populations which may feature lives at more than one welfare level. Populations represented by different letters should be understood as pairwise disjoint so that, for example, X and $m\left[\kern-0.15em\left[ a \right]\kern-0.15em\right]$ have no lives in common. $X + m\left[\kern-0.15em\left[ a \right]\kern-0.15em\right]$ then denotes a population of all the lives in X and all the lives in $m\left[\kern-0.15em\left[ a \right]\kern-0.15em\right]$. I leave the ‘other things being equal’ clause in each adequacy condition implicit. With that proviso, ≻ denotes ‘is better than’ and $\succeq$ denotes ‘is at least as good as.’

3 Arrhenius’s Sixth Impossibility Theorem

Arrhenius’s favoured Sixth Impossibility Theorem employs the following five adequacy conditions:

• Egalitarian Dominance: If population A is a perfectly equal population of the same size as population B, and every person in A has higher welfare than every person in B, then A is better than B.

• Egalitarian Dominance (exact formulation): For any $a \in {\mathbb{W}}$ any $n \in {\mathbb{N}}$, and any population X of size n with all lives at welfare levels below a

  $$X \prec n\left[\kern-0.15em\left[ a \right]\kern-0.15em\right]$$

• General Non-Extreme Priority: For any welfare level a, there exists a number n of lives such that, for any population X, a population consisting of X, n very positive welfare lives, and one life at welfare level a is at least as good as a population consisting of X, n barely positive welfare lives, and one life at a welfare level slightly above a.

• General Non-Extreme Priority (exact formulation): For any $a \in {\mathbb{W}}$, there exists $n \in {\mathbb{N}}$ such that, for any b, $c \in {\mathbb{W}}$ with $0 < b \le 3$, $c \ge \beta$, and any population X,

  $$X + \left[\kern-0.15em\left[ {a + 1} \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ b \right]\kern-0.15em\right] \preceq X + \left[\kern-0.15em\left[ a \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ c \right]\kern-0.15em\right]$$

• Non-Elitism: For any welfare levels a, b, and c, a slightly higher than b and b higher than c, and for any one-life population A at welfare level a, there is a population C at welfare level c, and a population B of the same size as A + C such that, for any population X consisting of lives with welfare ranging from c to a, X + B is at least as good as X + A + C.

• Non-Elitism (exact formulation): For any a, $c \in {\mathbb{W}}$ with a – 1 > c, there exists $n \in {\mathbb{N}}$ such that, for any population X with welfare levels ranging from c to a,

  $$X + \left[\kern-0.15em\left[ a \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ c \right]\kern-0.15em\right] \preceq X + \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]$$

• Weak Non-Sadism: There is a negative welfare level and a number of lives at this level such that the addition of any number of lives with positive welfare is at least as good as the addition of the lives with negative welfare.

• Weak Non-Sadism (exact formulation): There exists $a \in {\mathbb{W}}$ with a < 0 and $m \in {\mathbb{N}}$ such that, for any welfare level $b \in {\mathbb{W}}$ with b > 0, any $n \in {\mathbb{N}}$, and any population X,

  $$X + m\left[\kern-0.15em\left[ a \right]\kern-0.15em\right] \preceq X + n\left[\kern-0.15em\left[ b \right]\kern-0.15em\right]$$

• Weak Quality Addition: There is a number of very negative welfare lives such that, for any population X, there is a number of very positive welfare lives such that the addition of the very positive welfare lives to X is at least as good as the addition of the very negative welfare lives plus any number of barely positive welfare lives to X.

• Weak Quality Addition (exact formulation): There exists $a \in {\mathbb{W}}$ with a < 0 and $m \in {\mathbb{N}}$ such that, for any population X, there exists b, $c \in {\mathbb{W}}$ with $0 < b \le 3$, $c \ge \beta$, and $n \in {\mathbb{N}}$, such that for any $q \in {\mathbb{N}}$,⁷

  $$X + m\left[\kern-0.15em\left[ a \right]\kern-0.15em\right] + q\left[\kern-0.15em\left[ b \right]\kern-0.15em\right] \preceq X + n\left[\kern-0.15em\left[ c \right]\kern-0.15em\right]$$

Arrhenius’s Sixth Impossibility Theorem states that these five adequacy conditions are incompatible:

Arrhenius’s Sixth Impossibility Theorem

There is no population axiology which satisfies Egalitarian Dominance, General Non-Extreme Priority, Non-Elitism, Weak Non-Sadism, and Weak Quality Addition. (Arrhenius, 2011, 9; forthcoming)

However, the theorem is only true given Finite Fine-Grainedness. I prove that this is so in the next section, by presenting Lexical Totalism as a counterexample to the theorem. But the rough idea is as follows. Arrhenius assumes that, while single applications of Non-Elitism and General Non-Extreme Priority reduce a person’s welfare only slightly, repeated applications of these conditions can reduce a very positive welfare level to a very negative welfare level. As we will see, this assumption is exactly what Lexical Totalism denies.

4 Lexical Totalism

Recall Finite Fine-Grainedness:

Finite Fine-Grainedness

There exists a finite sequence of slight welfare differences between any two welfare levels. (Arrhenius, 2016, 171; forthcoming)

Although this assumption might seem compelling, there are prima facie reasons to doubt it. Consider the following case from Roger Crisp:

Haydn and the Oyster

You are a soul in heaven waiting to be allocated a life on Earth. It is late Friday afternoon, and you watch anxiously as the supply of available lives dwindles. When your turn comes, the angel in charge offers you a choice between two lives, that of the composer Joseph Haydn and that of an oyster. Besides composing some wonderful music and influencing the evolution of the symphony, Haydn will meet with success and honour in his own lifetime, be cheerful and popular, travel, and gain much enjoyment from field sports. The oyster’s life is far less exciting. Though this is rather a sophisticated oyster, its life will consist only of mild sensual pleasure, rather like that experienced by humans when floating very drunk in a warm bath. When you request the life of Haydn, the angel sighs, ‘I’ll never get rid of this oyster life. It’s been hanging around for ages. Look, I’ll offer you a special deal. Haydn will die at the age of seventy-seven. But I’ll make the oyster life as long as you like.’ (Crisp, 1997, 24; 2006, 112; see also McTaggart, 1927, 452–53)

Suppose that, as the oyster, you would never get bored of your mild sensual pleasure. Many of us share the following two intuitions about this case:

• 1. Increasing the length of the oyster life by one day increases its welfare level by some slight but constant amount.

• 2. An oyster life of any length is at a lower welfare level than the life of Haydn.

This combination of intuitions casts doubt on Finite Fine-Grainedness, for although each added day of oyster life yields a constant increase in welfare level, no number of additional days can make the oyster life at least as good as the life of Haydn.⁸ What’s more, we might think that the only improvements that could bring the oyster life up to Haydn’s welfare level do not come in slight increments. Suppose, for example, that the oyster life could be at least as good as Haydn’s only if we endowed the oyster with autonomy, or made it capable of love, or gave its life meaning. Suppose further that no lives differing in their quantities of autonomy, love, or meaning differ only slightly in welfare. In that case, Finite Fine-Grainedness would be false.

We might try to account for these intuitions by claiming that the life of Haydn is of infinite value relative to the oyster life, but there are good reasons to avoid this move. One is that, if the value of Haydn’s life is infinite, then the expected value of any prospect with a non-zero probability of resulting in Haydn’s life is also infinite. A prospect that results in Haydn’s life for certain has the same infinite expected value as a prospect that results in Haydn’s life with probability one-in-a-hundred and an oyster life otherwise.

A better way of accounting for these intuitions is to represent welfare levels with a vector. For example, we can have the welfare level of a life x as a vector of higher and lower goods — (h_x, l_x) — each representable by integers without upper or lower bound. These welfare levels can then be ordered lexically, so that a welfare level (h_x, l_x) is at least as high as a welfare level (h_y, l_y) iff either h_x > h_y or h_x = h_y and $l_{x} \ge l_{y}$. We can specify that autonomy, love, and meaning are higher goods, while sensual pleasure is a lower good. Given this specification, the life of Haydn contains some non-zero quantity of higher goods and the oyster life contains none. The lexical ordering can then account for both of our intuitions. Increasing the length of the oyster life by one day increases its quantity of lower goods by some slight but constant amount, but no quantity of lower goods in an oyster life can match the non-zero quantity of higher goods in the life of Haydn. And extending this lexical ordering to cover prospects gives the right results in the risky case outlined above. Let Haydn’s welfare level be (a, 0) with a > 0 and the oyster’s welfare level (0, b) with b > 0, and define the expected value of a prospect as a probability-weighted average of the values of its possible outcomes. Then the expected value of the prospect that results in Haydn’s life for certain is (a, 0) and the expected value of the prospect that results in Haydn’s life with probability one-in-a-hundred and an oyster life otherwise is (0.01a, 0.99b). Since a > 0.01a, the lexical ordering has the former prospect better than the latter.

We can follow Carlson (forthcoming) in filling out the view as follows:

• A welfare level (h_x, l_x) is

• positive iff h_x > 0, or h_x = 0 and l_x > 0,

• negative iff h_x < 0, or h_x = 0 and l_x < 0,

• neutral iff h_x = 0 and l_x = 0 ,

• very positive iff $h_{x} \ge e$, for a particular positive integer e,

• barely positive only if h_x = 0 and l_x > 0,

• barely negative only if h_x = 0 and l_x < 0, and

• very negative iff $h_{x} \le f$, for a particular negative integer f.

• A welfare level (h_x, l_x) is merely slightly higher than a welfare level (h_y, l_y) only if h_x = h_y and l_x = l_y + u, u > 0.

On this view, Finite Fine-Grainedness is false. A welfare difference is slight only if it involves no change in the quantity of higher goods, so no number of slight welfare differences can bridge the gap between welfare levels that differ in their quantity of higher goods.

We can order populations in the same way that we order lives. Let the value of a population $X$ be represented by the vector (h_X, l_X) , where h_X is the sum of all the higher goods and l_X is the sum of all the lower goods in the lives in X. Population X is at least as good as population Y iff either h_X > h_Y or h_X = h_Y and $l_{X} \ge l_{Y}$. Call this population axiology Lexical Totalism.

As Thomas (2018) and Carlson (forthcoming) note, Lexical Totalism is a counterexample to Arrhenius’s Sixth Impossibility Theorem. It satisfies all five adequacy conditions. It satisfies Egalitarian Dominance because every person in A having higher welfare than every person in B entails that total welfare in A is higher than in B. And it satisfies Weak Non-Sadism because adding any number of negative welfare lives reduces total welfare while adding any number of positive welfare lives increases it. Weak Quality Addition is satisfied for a similar reason. Adding any number of very positive welfare lives increases total welfare, while adding any combination of very negative welfare lives and barely positive welfare lives reduces it. More precisely, let (h_X, l_X) represent the value of X. Adding very positive welfare lives means adding (p, q) with p > 0, while adding a combination of very negative welfare lives and barely positive welfare lives means adding (r, s) with r < 0. Weak Quality Addition is satisfied because (h_X + p, l_X + q) is greater than (h_X + r, l_X + s) no matter what values q and s take.

Lexical Totalism also satisfies General Non-Extreme Priority. Let (h_a, l_a) represent welfare level a. Then a population consisting of X, one life at a, and some number of very positive welfare lives has a value of (h_X + h_a + p, l_X + l_a + q) with p > 0. Meanwhile, a population consisting of X, one life at a welfare level slightly above a (represented by (h_a, l_a + u) with u > 0), and some number of barely positive welfare lives has a value of (h_X + h_a, l_X + l_a + u + s) with u > 0, s > 0. General Non-Extreme Priority is satisfied because (h_X + h_a + p, l_X + l_a + q) is greater than (h_X + h_a, l_X + l_a + u + s) no matter what values q, u, and s take.

Non-Elitism completes the set. Again, let (h_a, l_a) represent welfare level a, so that (h_a, l_a − u) with u > 0 represents welfare level b, and let (h_c, l_c) represent welfare level c. Then the value of X + B is $\left( {h_{X} + n\left( {h_{a} } \right), l_{X} + n\left( {l_{a} - u} \right)} \right)$ and the value of $X + A + C$ is $\left( {h_{X} + h_{a} + \left( {n - 1} \right)\left( {h_{c} } \right), l_{X} + l_{a} + \left( {n - 1} \right)\left( {l_{c} } \right)} \right)$. Cancelling the h_X and l_X terms, we can see that Non-Elitism is satisfied: $\left( {n\left( {h_{a} } \right), n\left( {l_{a} - u} \right)} \right)$is at least as good as $\left( {h_{a} + \left( {n - 1} \right)\left( {h_{c} } \right), l_{a} + \left( {n - 1} \right)\left( {l_{c} } \right)} \right)$ for some $n \in {\mathbb{N}}$, since $h_{a} > h_{c}$ or $h_{a} = h_{c}$ and $\left( {l_{a} - u} \right) > l_{c}$.

Therefore, Arrhenius’s Sixth Impossibility Theorem is escapable. Population axiologies that deny Finite Fine-Grainedness can satisfy all of its adequacy conditions. What’s more, these axiologies have other advantages besides. Lexical Totalism coheres nicely with our intuitions in cases like Haydn and the Oyster, its lexical ordering of lives admits of a natural extension to populations and prospects, and all the while it remains faithful to the appealing idea that a population is at least as good as another iff it contains at least as much welfare.

Lexical Totalism also satisfies all the adequacy conditions in Arrhenius’s First, Fourth, and Fifth Impossibility Theorems.⁹ The Second and Third Impossibility Theorems are a different matter. They feature the following adequacy condition:

Inequality Aversion: For any welfare levels a, b, and c, a higher than b, and b higher than c, and for any population A with welfare a, there is a larger population C with welfare c, such that a perfectly equal population B of the same size as A + C and with welfare b, is at least as good as A + C.

Lexical Totalism violates this condition when, for example, a is a very positive welfare level and b and c are barely positive welfare levels. However, in this case, Inequality Aversion does not seem particularly compelling. Suppose, for example, that a is the welfare level enjoyed by Haydn, b is the welfare level enjoyed by an oyster that lives one-hundred years, and $c$ is the welfare level enjoyed by an oyster that lives ninety-nine years. Inequality Aversion states that, for any number m of lives equally good as Haydn’s, there is some number $n$ of ninety-nine year oyster lives such that m + n one-hundred year oyster lives are at least as good as m Haydn-quality lives and $n$ ninety-nine year oyster lives.

In fact, Arrhenius acknowledges that Inequality Aversion is not particularly compelling considered alone (forthcoming, 147). But he defends it by deriving it from the more compelling Non-Elitism condition (forthcoming, 150f.). His derivation, however, depends on Finite Fine-Grainedness (forthcoming, 323–26). If we deny Finite Fine-Grainedness, no such thing follows. Therefore, advocates of Lexical Totalism can claim that their view satisfies all of the compelling adequacy conditions in each of Arrhenius’s six impossibility theorems.

Kitcher (2000), Thomas (2018), Nebel (2021), and Carlson (forthcoming) offer lexical views along these lines. As they note, these views can be tweaked and generalised in various ways. Welfare levels could be represented by vectors with any number of elements, each element could be represented by any subset of the real numbers, and the ordering could employ thresholds of various kinds to account for incommensurability. Suppose, for example, that population X is at least as good as population Y iff either $h_{X} {-}h_{Y} > \Delta$ or $h_{X} \ge h_{Y}$ and $l_{X} \ge l_{Y}$. In that case, it could be that neither of X and Y is at least as good as the other. It could also be indeterminate whether the quantity of higher goods in a life exceeds some threshold, in which case the ordering of lives and populations will also admit of indeterminacy.

All such views, however, must deny Finite Fine-Grainedness to avoid Arrhenius’s Sixth Impossibility Theorem, and we might complain that this denial is not well-motivated.¹⁰ One line of argument in favour of Finite Fine-Grainedness is as follows. Every plausible candidate for being a higher good (e.g. autonomy, love, meaning) comes in fine-grained quantities, and if two lives are identical but for a slight difference in their quantity of some higher good, they differ only slightly in welfare. These two premises imply Finite Fine-Grainedness.

This argument has some force, but it is hardly irresistible. Deniers of Finite Fine-Grainedness point out that the nature of welfare remains an open question (Thomas, 2018, 829–30; Nebel, 2021, 10, 36; Carlson, forthcoming, 22–26). We simply do not know what makes a life good, and so we do not know that higher goods are fine-grained. What’s more, they can draw on a whole array of axiological phenomena to flesh out the case for doubt. Mill’s distinction between higher and lower pleasures is one starting point. He claims that some pairs of pleasures are such that ‘those who are competently acquainted with both’ place one ‘so far above the other that they… would not resign it for any quantity of the other pleasure.’ (Mill, 1861, chap. 2, para. 5). And there is no smooth sequence between these higher and lower pleasures because they depend on different faculties. Higher pleasures depend on our ‘intellect,’ ‘imagination,’ and ‘moral sentiments,’ while lower pleasures require only ‘mere sensation.’ (Mill, 1861, chap. 2, para. 4). From this foundation, it is just a short step to the claim that a life featuring higher pleasures differs markedly in welfare from any life lacking them.

Another argument comes from Nebel. He suggests that even if autonomy and meaning are fine-grained, the primary determinant of welfare might be the binary instantiation of these goods (Nebel, 2021, 11–12). Perhaps no life that is meaningful simpliciter is merely slightly better than a life that is meaningless simpliciter. Granted, ‘meaningful’ is almost certainly a vague term, but that is no reason to reject the view. Many compelling moral principles contain vague terms. One example is the claim that it is wrong to experiment on a subject that has not given their informed consent. And vagueness plays a key role in many population axiologies too. Broome (2004, 180–82), for example, claims that it can be vague whether a life is better lived than not lived.

Meanwhile, Griffin (1988, 86) and Carlson (forthcoming) suggest that higher goods might be a composite of other goods, none of which is in itself higher. A life might have to instantiate autonomy, love, knowledge, virtue, and meaning to some degree in order to reach a very positive welfare level, and any life instantiating just four of these five goods might be at a welfare level markedly lower. The presence of all five might be a kind of Moorean ‘organic unity’ in which the whole is more than the sum of its parts (Moore, 1903, 78–80).

These accounts are incomplete, but plausible enough in their outlines. Therefore, we cannot conclude that a population axiology is unsatisfactory simply because it violates Finite Fine-Grainedness, and any argument to this effect must reckon with a whole array of axiological phenomena. Determining whether a satisfactory population axiology is possible thus seems to require resolving some tricky questions about the nature of welfare.

I claim, however, that no such axiological enquiries are necessary. What matters for all practical purposes is the possibility of a satisfactory population prospect axiology, and the impossibility of such an axiology can be proved without employing Finite Fine-Grainedness. The key insight is that expected welfare levels are finitely fine-grained, even if welfare levels are not.

5 The Risky Sixth Impossibility Theorem

My risky versions of Arrhenius’s impossibility theorems employ the notion of a population prospect which I define, somewhat clunkily, as an alternative with some non-zero probability of bringing about one or more distinct populations. These population prospects can be divided into the trivial and the non-trivial. Trivial population prospects are those alternatives that bring about some population with probability 1. Non-trivial population prospects are those alternatives that bring about two or more distinct populations with probabilities strictly between 0 and 1.¹¹

We might denote non-trivial population prospects with $\left[ {p_{1} X_{1} , \ldots ,p_{n} X_{n} } \right]$, where each $p_{i}$ is a probability (with $0 < p_{i} < 1$ and $p_{1} + \cdots + p_{n} = 1$) and each $X_{i}$ is a population. The prospect $\left[ {p_{1} X_{1} , \ldots ,p_{n} X_{n} } \right]$ brings about $X_{1}$ with probability $p_{1}$, $X_{2}$ with probability $p_{2}$, and so on. However, this notation quickly becomes unwieldy for prospects that bring about different sets of lives with different probabilities. Suppose, for example, that a prospect brings about $\left[\kern-0.15em\left[ a \right]\kern-0.15em\right]$ with probability $p$, $\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]$ with probability $1 - p$, $Y$ with probability $1$, and no other lives with non-zero probability. We could denote this prospect with $\left[ {\left( p \right)\left( {\left[\kern-0.15em\left[ a \right]\kern-0.15em\right] + Y} \right),\left( {1 - p} \right)\left( {\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + Y} \right)} \right]$, but it is simpler to separate those populations brought about with probability less than 1 from those populations brought about with certainty, so that we denote the prospect with $\left[ {\left( p \right)\left[\kern-0.15em\left[ a \right]\kern-0.15em\right],\left( {1 - p} \right)\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]} \right] + Y$. I adopt the simpler convention in what follows.

Given my definitions, Arrhenius’s original theorems can be understood as stating that there is no satisfactory betterness ordering over trivial population prospects. I go beyond these theorems in assuming that the ‘at least as good as’ relation applies to non-trivial population prospects as well as trivial ones. More precisely, I assume that the ‘at least as good as’ relation is reflexive over the set of population prospects and that it holds, at least sometimes, when one or both of its relata are non-trivial population prospects. This assumption seems difficult to deny. Suppose that a first alternative brings about a population of one million people living wonderful lives with probability 0.5 and a population of one million people living almost-wonderful lives otherwise, and that a second alternative brings about a population of one million people living awful lives with probability 1. It seems obvious that the first alternative is better than the second.¹²

What’s more, denying that any non-trivial population prospect is better than any other would strip one’s chosen population axiology of all practical relevance, since all of our population-affecting actions have some non-zero probability of bringing about more than one distinct population. Suppose, for example, that a government minister is considering a policy that would reduce the cost of childcare. Whether she implements the policy or not, there is no single population that will come about with probability 1, so all of her alternatives are non-trivial population prospects. If no such prospects are better than any others, then population axiology cannot inform her decision. The same goes for more personal decisions. My having a child has a non-zero probability of resulting in more than one distinct population, because it is uncertain how many children my child will have. And the effects of refraining are not certain either. There is always a chance that it will spur a government minister to implement a policy reducing the cost of childcare.

I also assume that the ‘at least as good as’ relation is transitive over the set of population prospects. Some authors deny the transitivity assumption in Arrhenius’s original impossibility theorems (Rachels, 2004; Temkin, 2012), and one might be tempted to do the same here. However, this move strikes most as a drastic step. At worst, it is denying a logical truth (Broome, 2004, chap. 4). At best, it requires a radical upheaval of axiology and practical rationality.

Recall that Arrhenius uses Finite Fine-Grainedness to ensure the existence of a finite, linearly ordered set of welfare levels, ${\mathbb{W}}$, with two properties:

• 1. The set ranges from a very negative welfare level, through a barely negative welfare level and three barely positive welfare levels, each higher than the last, up to three very positive welfare levels, each higher than the last.

• 2. The difference between adjacent welfare levels is slight.

If Finite Fine-Grainedness is false in the way that Lexical Totalists suggest, there is no such set. But there will still be finite, linearly ordered sets of welfare levels with just the first property. We can pick out one such set in which many of the differences between adjacent welfare levels are slight, and those differences that are not slight are not egregiously big either. Call this set ${\mathbb{W}}$*. As before, we can represent these welfare levels with integers ranging from ω up to $\beta + 2$:

$$\omega < \ldots < - 1 < 0 < 1 < 2 < 3 < \ldots < \beta < \beta + 1 < \beta + 2$$

Again, 0 represents the neutral welfare level, − 1 represents a barely negative level, 1, 2, and 3 represent barely positive levels, $\omega$ represents a very negative level, and β and above represent very positive levels. This time, however, there is at least one pair of adjacent welfare levels that differ more than slightly.

Two features that my adequacy conditions share with Arrhenius’s are worth reiterating. First, my adequacy conditions quantify over ${\mathbb{W}}$*. Like Arrhenius’s ${\mathbb{W}}$, this set may be a proper subset of all possible welfare levels, but that possibility is of little consequence. If no population prospect axiology can satisfy these adequacy conditions quantifying over ${\mathbb{W}}$*, then no population prospect axiology can satisfy these adequacy conditions quantifying over all welfare levels. The second is that my adequacy conditions also leave an ‘other things being equal’ clause implicit.

Now recall the General Non-Extreme Priority and Non-Elitism conditions employed in Arrhenius’s Sixth Impossibility Theorem. Applied to ${\mathbb{W}}$*, the informal statements and the exact formulations of these conditions come apart. The informal statements refer to welfare levels that differ slightly while the exact formulations refer to adjacent welfare levels, and ${\mathbb{W}}$* features at least one pair of adjacent welfare levels that differ more than slightly. As we have seen, the informal versions of Arrhenius’s adequacy conditions are not incompatible over ${\mathbb{W}}$*, because repeated applications of these conditions cannot reduce a very positive welfare level to a very negative one. They cannot ‘jump the gap’ between the pair(s) of adjacent welfare levels that differ more than slightly. The exact formulations, on the other hand, are incompatible over ${\mathbb{W}}$*, since they pay no heed to the size of the difference between adjacent welfare levels. Applied to ${\mathbb{W}}$*, the conditions are as follows:

• General Non-Extreme Priority over ${\mathbb{W}}$* (exact formulation): For any $a \in {\mathbb{W}}$*, there exists $n \in {\mathbb{N}}$ such that, for any $b, c \in {\mathbb{W}}$* with $0 < b \le 3$, $c \ge \beta$, and any population $X$,

  $$X + \left[\kern-0.15em\left[ {a + 1} \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ b \right]\kern-0.15em\right] \preceq X + \left[\kern-0.15em\left[ a \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ c \right]\kern-0.15em\right]$$

• Non-Elitism over ${\mathbb{W}}$* (exact formulation): For any $a, c \in {\mathbb{W}}$* with $a - 1 > c$, there exists $n \in {\mathbb{N}}$ such that, for any population $X$ with welfare levels ranging from $c$ to $a$,

  $$X + \left[\kern-0.15em\left[ a \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ c \right]\kern-0.15em\right] \preceq X + \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]$$

However, both of these conditions are open to doubt. Consider first General Non-Extreme Priority. Suppose that the difference between welfare levels a and a + 1 is not slight. Perhaps a + 1 corresponds to a life featuring only ‘lower bads’ like non-debilitating harm, whereas a corresponds to a life featuring ‘higher bads’ like debilitating harm (see Handfield & Rabinowicz, 2018). In that case, we might claim that $X + \left[\kern-0.15em\left[ a \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ c \right]\kern-0.15em\right]$ is worse than $X + \left[\kern-0.15em\left[ {a + 1} \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ b \right]\kern-0.15em\right]$ no matter how large $n$ is. No number of very positive welfare lives can make up for a life featuring debilitating harm.

We might doubt Non-Elitism for a similar reason. Suppose this time that the difference between welfare levels $a$ and $a - 1$ is not slight. Perhaps $a$ corresponds to a life featuring a higher good like autonomy, whereas $a - 1$ and $c$ correspond to lives featuring only lower goods like sensual pleasure. In that case, we might claim that $X + \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]$ is worse than $X + \left[\kern-0.15em\left[ a \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ c \right]\kern-0.15em\right]$ no matter how large $n$ is. No increase in the quantity of sensual pleasure can make up for the loss of autonomy.

However, I claim that the following risky versions of General Non-Extreme Priority and Non-Elitism are compelling, even quantified over ${\mathbb{W}}$*:

• Risky General Non-Extreme Priority (exact formulation): For any $a \in {\mathbb{W}}$*, there exists $m \in {\mathbb{N}}$ and $p$ of the form $\frac{1}{r}$ with $r \in {\mathbb{N}}$ such that, for any $k \in {\mathbb{R}}$ with $0 \le k \le 1 - p$, any $b,c \in {\mathbb{W}}$* with $0 < b \le 3$, $c \ge \beta$, and any population X,

  $$X + \left[ {\left( {1 - k} \right)\left[\kern-0.15em\left[ a \right]\kern-0.15em\right],~\left( k \right)\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]} \right] + m\left[\kern-0.15em\left[ b \right]\kern-0.15em\right] \preceq X + \left[ {\left( {1 - k - p} \right)\left[\kern-0.15em\left[ a \right]\kern-0.15em\right],~\left( {k + p} \right)\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]} \right] + m\left[\kern-0.15em\left[ c \right]\kern-0.15em\right]$$

• Risky Non-Elitism (exact formulation): For any $a, c \in {\mathbb{W}}$* with $a - 1 > c$, there exists $m \in {\mathbb{N}}$ and $p$ of the form $\frac{1}{r}$ with $r \in {\mathbb{N}}$ such that, for any $k \in {\mathbb{R}}$ with $0 \le k \le 1 - p$ and any population $X$ consisting of lives with welfare ranging from $c$ to $a$,

  $$X + \left[ {\left( {1 - k} \right)\left[\kern-0.15em\left[ a \right]\kern-0.15em\right],~\left( k \right)\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]} \right] + m\left[\kern-0.15em\left[ c \right]\kern-0.15em\right] \preceq X + \left[ {\left( {1 - k - p} \right)\left[\kern-0.15em\left[ a \right]\kern-0.15em\right],~\left( {k + p} \right)\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]} \right] + m\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]$$

This assortment of quantifiers and variables is somewhat difficult to parse, but the rough idea is as follows. Arrhenius’s original conditions mandate that some fixed drop in welfare for one person can always be compensated by a rise in welfare for some number of other people. The risky versions mandate only that some fixed increase in the risk of some drop in welfare for one person can always be compensated by a rise in welfare for some number of other people. The size of this fixed increase in risk could be very small. The only restriction is that multiplying it by some natural number gives an answer of 1. And that makes these risky conditions compelling even in cases where the original conditions are not. Consider again the case that casts doubt on General Non-Extreme Priority: $a$ corresponds to a life featuring some debilitating harm, $a+1$ corresponds to a life featuring only non-debilitating harm, $b$ corresponds to a barely positive welfare life, and $c$ corresponds to a very positive welfare life. Risky General Non-Extreme Priority states only that some tiny increase in the risk of a drop in welfare from a life of non-debilitating harm to a life featuring some debilitating harm can be compensated by raising some number of lives from barely positive welfare levels to very positive welfare levels. This increase in risk could be 10⁻¹⁰⁰ ($0.0 \ldots 1$with 99 zeroes between the decimal-point and the 1). To get a grip on just how small this increase is, consider the following. Suppose you had a biased coin that came up heads with probability 10⁻¹⁰⁰. Even if you had flipped this coin one million times per millisecond from the Big Bang up until now, your chance of seeing one or more heads would still be less than 10⁻⁷³ ($0.0 \ldots 1$ with 72 zeroes between the decimal-point and the 1).¹³ One person’s undergoing this (nigh-on non-existent) increase in risk can surely be compensated by raising some number of lives from barely positive to very positive welfare levels.

The same goes for Risky Non-Elitism. It is compelling even in cases where the original Non-Elitism condition is not. Again, let a correspond to a life featuring some higher good like autonomy, a − 1 correspond to a life featuring only sensual pleasure, and $c$ correspond to a life featuring slightly less sensual pleasure. Risky Non-Elitism states only that some tiny increase in the risk of a drop in welfare from a life of autonomy to a life of sensual pleasure can be compensated by some increase in the quantity of sensual pleasure elsewhere. Again, this increase in risk could be a nigh-on non-existent 10⁻¹⁰⁰. That makes Risky Non-Elitism very difficult to deny.

These risky conditions, in conjunction with the transitivity of the ‘at least as good as’ relation over population prospects, imply that the original conditions are true over the welfare levels in ${\mathbb{W}}$*. Risky General Non-Extreme Priority plus transitivity implies General Non-Extreme Priority proper, and Risky Non-Elitism plus transitivity implies Non-Elitism proper, as I prove below. First, General Non-Extreme Priority:

• Fix any $a$ as in General Non-Extreme Priority. From Risky General Non-Extreme Priority, we obtain corresponding $m$, $p$, and $r$. Let $n = rm$. Consider the following population with any $b$ and $X$ as in General Non-Extreme Priority:

  $$X + \left[\kern-0.15em\left[ {a + 1} \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ b \right]\kern-0.15em\right]$$

  Since $n = rm$, the above can be expressed as follows, with all $m_{i} = m$:

  $$X + \left[\kern-0.15em\left[ {a + 1} \right]\kern-0.15em\right] + m_{1} \left[\kern-0.15em\left[ b \right]\kern-0.15em\right] + m_{2} \left[\kern-0.15em\left[ b \right]\kern-0.15em\right] + m_{3} \left[\kern-0.15em\left[ b \right]\kern-0.15em\right] + \cdots + m_{r} \left[\kern-0.15em\left[ b \right]\kern-0.15em\right]$$

  Applying Risky General Non-Extreme Priority yields the following, with any $c$ as in General Non-Extreme Priority:

  $$ \preceq X + \left[ {\left( {1 - p} \right)\left[\kern-0.15em\left[ {a + 1} \right]\kern-0.15em\right],\left( p \right)\left[\kern-0.15em\left[ a \right]\kern-0.15em\right]} \right] + m_{1} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right] + m_{2} \left[\kern-0.15em\left[ b \right]\kern-0.15em\right] + m_{3} \left[\kern-0.15em\left[ b \right]\kern-0.15em\right] + \cdots + m_{r} \left[\kern-0.15em\left[ b \right]\kern-0.15em\right]$$

  Applying it again yields:

  $$\preceq X + \left[ {\left( {1 - 2p} \right)\left[\kern-0.15em\left[ {a + 1} \right]\kern-0.15em\right],\left( {2p} \right)\left[\kern-0.15em\left[ a \right]\kern-0.15em\right]} \right] + m_{1} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right] + m_{2} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right] + m_{3} \left[\kern-0.15em\left[ b \right]\kern-0.15em\right] + \cdots + m_{r} \left[\kern-0.15em\left[ b \right]\kern-0.15em\right]$$

  Applying it $r - 2$ more times yields:

  $$\preceq X + \left[ {\left( {1 - rp} \right)\left[\kern-0.15em\left[ {a + 1} \right]\kern-0.15em\right],\left( {rp} \right)\left[\kern-0.15em\left[ a \right]\kern-0.15em\right]} \right] + m_{1} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right] + m_{2} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right] + m_{3} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right] + \cdots + m_{r} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right]$$

  Since $rp = 1$, the above simplifies to:

  $$X + \left[\kern-0.15em\left[ a \right]\kern-0.15em\right] + m_{1} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right] + m_{2} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right] + m_{3} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right] + \cdots + m_{r} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right]$$

  Since $n=rm$, the above simplifies to:

  $$X + \left[\kern-0.15em\left[ a \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ c \right]\kern-0.15em\right]$$

  And by the transitivity of the ‘at least as good as’ relation, we can conclude:

  $$X + \left[\kern-0.15em\left[ {a + 1} \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ b \right]\kern-0.15em\right] \preceq X + \left[\kern-0.15em\left[ a \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ c \right]\kern-0.15em\right]$$

  Which is General Non-Extreme Priority, as desired.

Second, Non-Elitism:

• Fix any $a$, $c$ as in Non-Elitism. From Risky Non-Elitism, we obtain corresponding $m$, $p$, and $r$. Let $n = rm$. Consider the following population with any $X$ as in Non-Elitism:

  $$X + \left[\kern-0.15em\left[ a \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ c \right]\kern-0.15em\right]$$

  Since $n = rm$, the above can be expressed as follows, with all $m_{i} = m:$

  $$X + \left[\kern-0.15em\left[ a \right]\kern-0.15em\right] + m_{1} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right] + m_{2} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right] + m_{3} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right] + \cdots + m_{r} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right]$$

  Applying Risky Non-Elitism yields:

  $$\preceq X + \left[ {\left( {1 - p} \right)\left[\kern-0.15em\left[ a \right]\kern-0.15em\right],\left( p \right)\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]} \right] + m_{1} \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + m_{2} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right] + m_{3} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right] + \cdots + m_{r} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right]$$

  Applying it again yields:

  $$\preceq X + \left[ {\left( {1 - 2p} \right)\left[\kern-0.15em\left[ a \right]\kern-0.15em\right],\left( {2p} \right)\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]} \right] + m_{1} \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + m_{2} \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + m_{3} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right] + \cdots + m_{r} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right]$$

  Applying it $r - 2$ more times yields:

  $$\preceq X + \left[ {\left( {1 - rp} \right)\left[\kern-0.15em\left[ a \right]\kern-0.15em\right],\left( {rp} \right)\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]} \right] + m_{1} \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + m_{2} \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + m_{3} \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + \cdots + m_{r} \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]$$

  Since $rp = 1$, the above simplifies to:

  $$X + \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + m_{1} \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + m_{2} \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + m_{3} \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + \cdots + m_{r} \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]$$

  Since $n = rm$, the above simplifies to:

  $$X + \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]$$

  And by the transitivity of the ‘at least as good as’ relation, we can conclude:

  $$X + \left[\kern-0.15em\left[ a \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ c \right]\kern-0.15em\right] \preceq X + \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]$$

  Which is Non-Elitism, as desired.

The impossibility theorem can then be proved using Arrhenius’s original conditions understood as adequacy conditions on population prospects and quantified over ${\mathbb{W}}$*. The proof is isomorphic to that given by Arrhenius (2011; forthcoming), so I will not repeat it here.¹⁴ The conclusion is as follows:

The Risky Sixth Impossibility Theorem

There is no population prospect axiology which satisfies Egalitarian Dominance, Risky General Non-Extreme Priority, Risky Non-Elitism, Weak Non-Sadism, and Weak Quality Addition.

Each of these adequacy conditions is compelling even if Finite Fine-Grainedness is false, so lexical views do not escape this impossibility theorem. They must violate Risky General Non-Extreme Priority or Risky Non-Elitism, or else take the drastic step of claiming that the ‘at least as good as’ relation is intransitive over population prospects. Therefore, the Risky Sixth Impossibility Theorem demonstrates that there is no satisfactory population prospect axiology.

Appendix

In this section, I prove that Arrhenius’s other impossibility theorems can be patched up with a similar manoeuvre. Each can be turned into a theorem stating that no population prospect axiology satisfies a small number of adequacy conditions, independently of Finite Fine-Grainedness.

1.1 The Risky First Impossibility Theorem

Arrhenius’s First Impossibility Theorem states that the following adequacy conditions are incompatible:

• Egalitarian Dominance (exact formulation): For any $a \in {\mathbb{W}}$, any $n \in {\mathbb{N}}$, and any population $X$ of size $n$ with all lives at welfare levels below $a$,

  $$X {\prec}\, n\left[\kern-0.15em\left[ a \right]\kern-0.15em\right]$$

• Quantity (exact formulation): For any $a \in {\mathbb{W}}$, $a > 1$, and $m \in {\mathbb{N}}$, there exists $n \in {\mathbb{N}}$ such that,

  $$m\left[\kern-0.15em\left[ a \right]\kern-0.15em\right] \preceq n\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]$$

• Quality (exact formulation): There exists $m \in {\mathbb{N}}$ such that, for any $n \in {\mathbb{N}}$,

  $$n\left[\kern-0.15em\left[ 3 \right]\kern-0.15em\right] \preceq m\left[\kern-0.15em\left[ \beta \right]\kern-0.15em\right]$$

Quantity is not particularly compelling applied to ${\mathbb{W}}$*, because some pair of welfare levels a and $a - 1$ differ more than slightly. However, Risky Quantity is compelling:

• Risky Quantity (exact formulation): For any $a \in {\mathbb{W}}$* with $a > 1$ and $m \in {\mathbb{N}}$, there exists $h \in {\mathbb{N}}$ and $p$ of the form $\frac{1}{r}$ with $r \in {\mathbb{N}}$ such that, for any $k \in {\mathbb{R}}$ with $0 \le k \le 1 - p$ and $g \in {\mathbb{N}} \cup \left\{ 0 \right\}$,

  $$\left[ {\left( {1 - k} \right)m\left[\kern-0.15em\left[ a \right]\kern-0.15em\right],~\left( k \right)m\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]} \right] + g\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] \preceq \left[ {\left( {1 - k - p} \right)m\left[\kern-0.15em\left[ a \right]\kern-0.15em\right],\left( {k + p} \right)m\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]} \right] + g\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + h\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]$$

It states, roughly, that a fixed increase in the risk of a drop in welfare for the best-off in a population (from one positive welfare level to another) can always be compensated by the addition of some number of lives at the lower positive welfare level. Risky Quantity plus transitivity implies that Quantity is true over ${\mathbb{W}}$*:

• Fix any $a$ and $m$ as in Quantity. From Risky Quantity, we obtain corresponding $p$ and $r$. We will apply Risky Quantity $r$ times, with different values of $g$. Consider first $g_{1} = 0$. From Risky Quantity, we obtain $h_{1}$. Then inductively set $g_{i + 1} = g_{i} + h_{i}$ and obtain $h_{i + 1}$. Finally, set $n = m + h_{1} + h_{2} + h_{3} + \cdots + h_{r}$. Consider the following population:

  $$m\left[\kern-0.15em\left[ a \right]\kern-0.15em\right]$$

  Applying Risky Quantity yields:

  $$\preceq \left[ {\left( {1 - p} \right)m\left[\kern-0.15em\left[ a \right]\kern-0.15em\right],\left( p \right)m\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]} \right] + h_{1} \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]$$

  Applying it again yields:

  $$\preceq \left[ {\left( {1 - 2p} \right)m\left[\kern-0.15em\left[ a \right]\kern-0.15em\right],{ }\left( {2p} \right)m\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]} \right] + h_{1} \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + h_{2} \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]$$

  Applying it $r - 2$ more times yields:

  $$\preceq \left[ {\left( {1 - rp} \right)m\left[\kern-0.15em\left[ a \right]\kern-0.15em\right],{ }\left( {rp} \right)m\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]} \right] + h_{1} \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + h_{2} \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + \cdots + h_{r} \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]$$

  Since $rp = 1$ and $n = m + h_{1} + h_{2} + h_{3} + \cdots + h_{r}$, the above simplifies to:

  $$n\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]$$

  And by the transitivity of the ‘at least as good as’ relation, we can conclude:

  $$m\left[\kern-0.15em\left[ a \right]\kern-0.15em\right] \preceq n\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]$$

  Which is Quantity, as desired.

The theorem can then be proved using Arrhenius’s original conditions understood as adequacy conditions on population prospects and quantified over ${\mathbb{W}}$*. The proof is isomorphic to that given by Arrhenius (2000; forthcoming). The conclusion is as follows:

The Risky First Impossibility Theorem

There is no population prospect axiology which satisfies Egalitarian Dominance, Risky Quantity, and Quality.

1.2 The Risky Second Impossibility Theorem

Arrhenius’s Second Impossibility Theorem states that the following adequacy conditions are incompatible:

• Egalitarian Dominance (exact formulation): For any $a \in {\mathbb{W}}$, any $n \in {\mathbb{N}}$, and any population $X$ of size $n$ with all lives at welfare levels below $a$,

  $$X \preceq n\left[\kern-0.15em\left[ a \right]\kern-0.15em\right]$$

• Dominance Addition (exact formulation): For any $X$ and $Y$ of the same size with all welfare levels in $X$ higher than all welfare levels in $Y$, any $a \in {\mathbb{W}}$ with $a > 0$, and any $m \in {\mathbb{N}}$,

  $$X + m\left[\kern-0.15em\left[ a \right]\kern-0.15em\right] \,\nprec\, Y$$

• Inequality Aversion (exact formulation): For any $a,b,c \in {\mathbb{W}}$ with $a > b > c$, and any $m \in {\mathbb{N}}$, there exists $q \in {\mathbb{N}}$ such that,

  $$m\left[\kern-0.15em\left[ a \right]\kern-0.15em\right] + q\left[\kern-0.15em\left[ c \right]\kern-0.15em\right] \preceq \left( {m + q} \right)\left[\kern-0.15em\left[ b \right]\kern-0.15em\right]$$

• Quality (exact formulation): There exists $m \in {\mathbb{N}}$ such that, for any $n \in {\mathbb{N}}$,

  $$n\left[\kern-0.15em\left[ 3 \right]\kern-0.15em\right] \preceq m\left[\kern-0.15em\left[ \beta \right]\kern-0.15em\right]$$

Inequality Aversion is not particularly compelling applied to ${\mathbb{W}}$*. However, Risky Non-Elitism is compelling, and we saw above that Risky Non-Elitism plus transitivity implies that Non-Elitism is true over ${\mathbb{W}}$*. Non-Elitism, in turn, implies Inequality Aversion:

• Fix any $a$, $b$, $c$, $m$ as in Inequality Aversion. From Non-Elitism, we obtain corresponding $n_{1}$: the number of lives we must raise from $c$ to $a-1$ to compensate one life falling from $a$ to $a-1$. Let $m_{1} = m$ and $q_{1} = m_{1} n_{1}$, so that $q_{1}$ gives the number of lives we must raise from $c$ to $a-1$ to compensate $m$ lives falling from $a$ to $a-1$. From Non-Elitism, we also obtain $n_{2}$: the number of lives we must raise from $c$ to $a-2$ to compensate one life falling from $a - 1$ to $a - 2$, and so on. Let $m_{2} = m_{1} + q_{1}$ and $q_{2} = m_{2} n_{2}$, and so on, so that for all $i$ up to $i = a - b$:

  $$m_{i} = m_{i - 1} + q_{i - 1}$$
  $$q_{i} = m_{i} n_{i}$$

• Consider the following population with $q = q_{1} + q_{2} + \cdots + q_{a - b}$:

  $$m\left[\kern-0.15em\left[ a \right]\kern-0.15em\right] + q\left[\kern-0.15em\left[ c \right]\kern-0.15em\right]$$

  Since $q = q_{1} + q_{2} + \cdots + q_{a - b}$, the above can be expressed as:

  $$m\left[\kern-0.15em\left[ a \right]\kern-0.15em\right] + q_{1} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right] + q_{2} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right] + \cdots + q_{a - b} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right]$$

  Applying Non-Elitism $m_{1}$ times yields:

  $$\preceq m\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + q_{1} \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + q_{2} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right] + \cdots + q_{a - b} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right]$$

  Applying it $m_{2}$ times yields:

  $$\preceq m\left[\kern-0.15em\left[ {a - 2} \right]\kern-0.15em\right] + q_{1} \left[\kern-0.15em\left[ {a - 2} \right]\kern-0.15em\right] + q_{2} \left[\kern-0.15em\left[ {a - 2} \right]\kern-0.15em\right] + \cdots + q_{a - b} \left[\kern-0.15em\left[ c \right]\kern-0.15em\right]$$

  Applying it a further $m_{3} + \cdots + m_{a - b}$ times yields:

  $$\preceq m\left[\kern-0.15em\left[ b \right]\kern-0.15em\right] + q_{1} \left[\kern-0.15em\left[ b \right]\kern-0.15em\right] + q_{2} \left[\kern-0.15em\left[ b \right]\kern-0.15em\right] + \cdots + q_{a - b} \left[\kern-0.15em\left[ b \right]\kern-0.15em\right]$$

  Since $q = q_{1} + q_{2} + \cdots + q_{a - b}$, this simplifies to:

  $$\left( {m + q} \right)\left[\kern-0.15em\left[ b \right]\kern-0.15em\right]$$

  And by the transitivity of the ‘at least as good as’ relation, we can conclude:

  $$m\left[\kern-0.15em\left[ a \right]\kern-0.15em\right] + q\left[\kern-0.15em\left[ c \right]\kern-0.15em\right] \preceq \left( {m + q} \right)\left[\kern-0.15em\left[ b \right]\kern-0.15em\right]$$

  Which is Inequality Aversion, as desired.

The theorem can then be proved using Arrhenius’s original conditions understood as adequacy conditions on population prospects and quantified over ${\mathbb{W}}$*. The proof is isomorphic to that given by Arrhenius (2000; forthcoming). The conclusion is as follows:

The Risky Second Impossibility Theorem

There is no population prospect axiology which satisfies Egalitarian Dominance, Dominance Addition, Risky Non-Elitism, and Quality.

1.3 The Risky Third Impossibility Theorem

Arrhenius’s Third Impossibility Theorem states that the following adequacy conditions are incompatible:

• Egalitarian Dominance (exact formulation): For any $a \in {\mathbb{W}}$, any $n \in {\mathbb{N}}$, and any population $X$ of size $n$ with all lives at welfare levels below $a$,

  $$X \prec n\left[\kern-0.15em\left[ a \right]\kern-0.15em\right]$$

• Inequality Aversion (exact formulation): For any $a,b,c \in {\mathbb{W}}$ with $a > b > c$, and any $m \in {\mathbb{N}}$, there exists $q \in {\mathbb{N}}$ such that,

  $$m\left[\kern-0.15em\left[ a \right]\kern-0.15em\right] + q\left[\kern-0.15em\left[ c \right]\kern-0.15em\right] \preceq \left( {m + q} \right)\left[\kern-0.15em\left[ b \right]\kern-0.15em\right]$$

• Non-Sadism (exact formulation): For any $a,c \in {\mathbb{W}}$ with $a > 0 > c$, any $m,n \in {\mathbb{N}}$, and any population $X$,

  $$X + n\left[\kern-0.15em\left[ c \right]\kern-0.15em\right] \preceq X + m\left[\kern-0.15em\left[ a \right]\kern-0.15em\right]$$

• Non-Extreme Priority (exact formulation): There exists $n \in {\mathbb{N}}$ such that, for any population $X$,

  $$X + \left[\kern-0.15em\left[ 3 \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ 3 \right]\kern-0.15em\right] \preceq X + \left[\kern-0.15em\left[ { - 1} \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ \beta \right]\kern-0.15em\right]$$

• Quality Addition (exact formulation): For any population $X$, there exists $m \in {\mathbb{N}}$ such that, for any $n \in {\mathbb{N}}$,

  $$X + n\left[\kern-0.15em\left[ 3 \right]\kern-0.15em\right] \preceq X + m\left[\kern-0.15em\left[ \beta \right]\kern-0.15em\right]$$

We might doubt that Inequality Aversion and Non-Extreme Priority are true over ${\mathbb{W}}$*. However, as we saw above, Inequality Aversion follows from Risky Non-Elitism. Non-Extreme Priority, meanwhile, follows from Risky Non-Extreme Priority:

• Risky Non-Extreme Priority (exact formulation): There exists $n \in {\mathbb{N}}$, and $p$ of the form $\frac{1}{r}$ with $r \in {\mathbb{N}}$ such that, for any $k \in {\mathbb{R}}$ with $0 \le k \le 1 - p$ and any population $X$,

  $$X + \left[ {\left( {1 - k} \right)\left[\kern-0.15em\left[ 3 \right]\kern-0.15em\right],\left( k \right)\left[\kern-0.15em\left[ { - 1} \right]\kern-0.15em\right]} \right] + n\left[\kern-0.15em\left[ 3 \right]\kern-0.15em\right] \preceq X + \left[ {\left( {1 - k - p} \right)\left[\kern-0.15em\left[ 3 \right]\kern-0.15em\right],\left( {k + p} \right)\left[\kern-0.15em\left[ { - 1} \right]\kern-0.15em\right]} \right] + n\left[\kern-0.15em\left[ \beta \right]\kern-0.15em\right]$$

These versions of General Non-Extreme Priority and Risky General Non-Extreme Priority differ only insofar as they replace welfare levels $a + 1$, $a$, $b$, and $c$ with $3$, $- 1$, $3$, and ${\beta }$ respectively. Therefore, the proof that Non-Extreme Priority follows from Risky Non-Extreme Priority is isomorphic to the proof that General Non-Extreme Priority follows from Risky General Non-Extreme Priority given above. The theorem can then be proved using Arrhenius’s original conditions understood as adequacy conditions on population prospects and quantified over ${\mathbb{W}}$*. That proof is isomorphic to the one given by Arrhenius (2000; forthcoming). The conclusion is as follows:

The Risky Third Impossibility Theorem

There is no population prospect axiology which satisfies Egalitarian Dominance, Risky Non-Elitism, Non-Sadism, Risky Non-Extreme Priority, and Quality Addition.

1.4 The Risky Fourth Impossibility Theorem

Arrhenius’s Fourth Impossibility Theorem states that the following adequacy conditions are incompatible:

• Egalitarian Dominance (exact formulation): For any $a \in {\mathbb{W}}$, any $n \in {\mathbb{N}}$, and any population $X$ of size $n$ with all lives at welfare levels below $a$,

  $$X \prec n\left[\kern-0.15em\left[ a \right]\kern-0.15em\right]$$

• General Non-Extreme Priority (exact formulation): For any $a \in {\mathbb{W}}$, there exists $n \in {\mathbb{N}}$ such that, for any $b, c \in {\mathbb{W}}$ with $0 < b \le 3$, $c \ge \beta$, and any population $X$,

  $$X + \left[\kern-0.15em\left[ {a + 1} \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ b \right]\kern-0.15em\right] \preceq X + \left[\kern-0.15em\left[ a \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ c \right]\kern-0.15em\right]$$

• Non-Elitism (exact formulation): For any $a, c \in {\mathbb{W}}$ with $a - 1 > c$, there exists $n \in {\mathbb{N}}$ such that, for any population $X$ with welfare levels ranging from $c$ to $a$,

  $$X + \left[\kern-0.15em\left[ a \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ c \right]\kern-0.15em\right] \preceq X + \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]$$

• Weak Non-Sadism (exact formulation): There exists $a \in {\mathbb{W}}$ with $a < 0$ and $m \in {\mathbb{N}}$ such that, for any welfare level $b \in {\mathbb{W}}$ with $b > 0$, any $n \in {\mathbb{N}}$, and any population $X$,

  $$X + m\left[\kern-0.15em\left[ a \right]\kern-0.15em\right] \preceq X + n\left[\kern-0.15em\left[ b \right]\kern-0.15em\right]$$

• Quality Addition (exact formulation): For any population $X$, there exists $m \in {\mathbb{N}}$ such that, for any $n \in {\mathbb{N}}$,

  $$X + n\left[\kern-0.15em\left[ 3 \right]\kern-0.15em\right] \preceq X + m\left[\kern-0.15em\left[ \beta \right]\kern-0.15em\right]$$

As we saw above, General Non-Extreme Priority and Non-Elitism follow from their risky versions. The theorem can then be proved using Arrhenius’s original conditions understood as adequacy conditions on population prospects and quantified over ${\mathbb{W}}$*. The proof is isomorphic to that given by Arrhenius (2000; forthcoming). The conclusion is as follows:

The Risky Fourth Impossibility Theorem

There is no population prospect axiology which satisfies Egalitarian Dominance, Risky General Non-Extreme Priority, Risky Non-Elitism, Weak Non-Sadism, and Quality Addition.

1.5 The Risky Fifth Impossibility Theorem

Arrhenius’s Fifth Impossibility Theorem states that the following adequacy conditions are incompatible:

• Egalitarian Dominance (exact formulation): For any $a \in {\mathbb{W}}$, any $n \in {\mathbb{N}}$, and any population $X$ of size $n$ with all lives at welfare levels below $a$,

  $$X \prec n\left[\kern-0.15em\left[ a \right]\kern-0.15em\right]$$

• Dominance Addition (exact formulation): For any $X$ and $Y$ of the same size with all welfare levels in $X$ higher than all welfare levels in $Y$, any $a \in {\mathbb{W}}$ with $a > 0$, and any $m \in {\mathbb{N}}$,

  $$X + m\left[\kern-0.15em\left[ a \right]\kern-0.15em\right] \,\nprec \,Y$$

• General Non-Elitism (exact formulation): For any $a, c \in {\mathbb{W}}$ with $a - 1 > c$, there exists $n \in {\mathbb{N}}$ such that, for any population $X$,

  $$X + \left[\kern-0.15em\left[ a \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ c \right]\kern-0.15em\right] \preceq X + \left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]$$

• General Non-Extreme Priority (exact formulation): For any $a \in {\mathbb{W}}$, there exists $n \in {\mathbb{N}}$ such that, for any $b, c \in {\mathbb{W}}$ with $0 < b \le 3$, $c \ge \beta$, and any population $X$,

  $$X + \left[\kern-0.15em\left[ {a + 1} \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ b \right]\kern-0.15em\right] \preceq X + \left[\kern-0.15em\left[ a \right]\kern-0.15em\right] + n\left[\kern-0.15em\left[ c \right]\kern-0.15em\right]$$

• Weak Quality (exact formulation): There exists $a,b \in {\mathbb{W}}$ with $a \ge \beta$, $b < 0$, and $m, n \in {\mathbb{N}}$ such that, for any $c \in {\mathbb{W}}$ with $0 < c \le 3$ and any $q \in {\mathbb{N}}$,

  $$m\left[\kern-0.15em\left[ b \right]\kern-0.15em\right] + q\left[\kern-0.15em\left[ c \right]\kern-0.15em\right] \preceq n\left[\kern-0.15em\left[ a \right]\kern-0.15em\right]$$

As we saw above, General Non-Extreme Priority follows from its risky version. The same is true of General Non-Elitism. It follows from Risky General Non-Elitism:

• Risky General Non-Elitism (exact formulation): For any $a, c \in {\mathbb{W}}$* with $a - 1 > c$, there exists $m \in {\mathbb{N}}$ and $p$ of the form $\frac{1}{r}$ with $r \in {\mathbb{N}}$ such that, for any $k \in {\mathbb{R}}$ with $0 \le k \le 1 - p$ and any population X,

  $$X + \left[ {\left( {1 - k} \right)\left[\kern-0.15em\left[ a \right]\kern-0.15em\right], (k)\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]} \right] + m\left[\kern-0.15em\left[ c \right]\kern-0.15em\right] \preceq X + \left[ {\left( {1 - k - p} \right)\left[\kern-0.15em\left[ a \right]\kern-0.15em\right], \left( {k + p} \right)\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]} \right] + m\left[\kern-0.15em\left[ {a - 1} \right]\kern-0.15em\right]$$

These generalised versions of Non-Elitism and Risky Non-Elitism differ only insofar as they relax the restriction on the welfare levels contained in X, so the proof that General Non-Elitism follows from Risky General Non-Elitism is isomorphic to the proof that Non-Elitism follows from Risky Non-Elitism given above. The theorem can then be proved using Arrhenius’s original conditions understood as adequacy conditions on population prospects and quantified over ${\mathbb{W}}$*. That proof is isomorphic to the one given by Arrhenius (2003). The conclusion is as follows:

The Risky Fifth Impossibility Theorem

There is no population prospect axiology which satisfies Egalitarian Dominance, Dominance Addition, Risky General Non-Elitism, Risky General Non-Extreme Priority, and Weak Quality.