<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article SYSTEM "http://jats.nlm.nih.gov/archiving/1.2/JATS-archivearticle1.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="1.2" article-type="research-article" xml:lang="en"><?properties open_access?><front><journal-meta><journal-id journal-id-type="publisher-id">11098</journal-id><journal-id journal-id-type="doi">10.1007/11098.1573-0883</journal-id><journal-title-group><journal-title>Philosophical Studies</journal-title><journal-subtitle>An International Journal for Philosophy in the Analytic Tradition</journal-subtitle><abbrev-journal-title abbrev-type="publisher">Philos Stud</abbrev-journal-title></journal-title-group><issn pub-type="ppub">0031-8116</issn><issn pub-type="epub">1573-0883</issn><publisher><publisher-name>Springer Netherlands</publisher-name><publisher-loc>Dordrecht</publisher-loc></publisher></journal-meta><article-meta><article-id pub-id-type="publisher-id">s11098-019-01375-0</article-id><article-id pub-id-type="manuscript">1375</article-id><article-id pub-id-type="doi">10.1007/s11098-019-01375-0</article-id><article-categories><subj-group subj-group-type="heading"><subject>Article</subject></subj-group></article-categories><title-group><article-title xml:lang="en">Frankfurt cases and the Newcomb Problem</article-title></title-group><contrib-group><contrib contrib-type="author" corresp="yes" id="Au1"><contrib-id contrib-id-type="orcid">http://orcid.org/0000-0001-7826-3335</contrib-id><name><surname>Ahmed</surname><given-names>Arif</given-names></name><xref ref-type="aff" rid="Aff1">1</xref><xref ref-type="corresp" rid="IDs11098019013750_cor1">a</xref></contrib><aff id="Aff1"><label>1</label><institution-wrap><institution-id institution-id-type="GRID">grid.5335.0</institution-id><institution-id institution-id-type="ISNI">0000000121885934</institution-id><institution content-type="org-division">Faculty of Philosophy</institution><institution content-type="org-name">Cambridge University</institution></institution-wrap><addr-line content-type="city">Cambridge</addr-line><country country="GB">UK</country></aff></contrib-group><author-notes><corresp id="IDs11098019013750_cor1"><label>a</label><email>ama24@cam.ac.uk</email></corresp></author-notes><pub-date date-type="epub"><day>13</day><month>11</month><year>2019</year></pub-date><pub-date date-type="ppub"><month>11</month><year>2020</year></pub-date><volume>177</volume><issue seq="12">11</issue><fpage>3391</fpage><lpage>3408</lpage><history><date date-type="registration"><day>7</day><month>11</month><year>2019</year></date><date date-type="online"><day>13</day><month>11</month><year>2019</year></date></history><permissions><copyright-statement>© The Author(s) 2019</copyright-statement><copyright-year>2019</copyright-year><license license-type="open-access" xlink:href="https://creativecommons.org/licenses/by/4.0/"><license-p><bold>Open Access</bold>This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (<ext-link ext-link-type="uri" xlink:href="http://creativecommons.org/licenses/by/4.0/">http://creativecommons.org/licenses/by/4.0/</ext-link>), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.</license-p></license></permissions><abstract id="Abs1" xml:lang="en"><title>Abstract</title><p id="Par1">A standard argument for one-boxing in Newcomb’s Problem is ‘Why Ain’cha Rich?’, which emphasizes that one-boxers typically make a million dollars compared to the thousand dollars that two-boxers can expect. A standard reply is the ‘opportunity defence’: the two-boxers who made a thousand never had an opportunity to make more. The paper argues that the opportunity defence is unavailable to anyone who grants that in another case—a Frankfurt case—the agent is <italic>deprived</italic> of opportunities in the way that advocates of Frankfurt cases typically claim.</p></abstract><kwd-group xml:lang="en"><title>Keywords</title><kwd>Decision Theory</kwd><kwd>Newcomb’s Problem</kwd><kwd>Frankfurt cases</kwd><kwd>Free will</kwd></kwd-group><funding-group><award-group><funding-source><institution-wrap><institution>Leverhulme Trust</institution><institution-id institution-id-type="doi" vocab="open-funder-registry">http://dx.doi.org/10.13039/501100000275</institution-id></institution-wrap></funding-source><award-id award-type="FundRef grant">RF-2018-231\10</award-id><principal-award-recipient><name><surname>Ahmed</surname><given-names>Arif</given-names></name></principal-award-recipient></award-group></funding-group><custom-meta-group><custom-meta><meta-name>publisher-imprint-name</meta-name><meta-value>Springer</meta-value></custom-meta><custom-meta><meta-name>volume-issue-count</meta-name><meta-value>12</meta-value></custom-meta><custom-meta><meta-name>issue-article-count</meta-name><meta-value>22</meta-value></custom-meta><custom-meta><meta-name>issue-toc-levels</meta-name><meta-value>0</meta-value></custom-meta><custom-meta><meta-name>issue-pricelist-year</meta-name><meta-value>2020</meta-value></custom-meta><custom-meta><meta-name>issue-copyright-holder</meta-name><meta-value>Springer Nature B.V.</meta-value></custom-meta><custom-meta><meta-name>issue-copyright-year</meta-name><meta-value>2020</meta-value></custom-meta><custom-meta><meta-name>article-contains-esm</meta-name><meta-value>No</meta-value></custom-meta><custom-meta><meta-name>article-numbering-style</meta-name><meta-value>ContentOnly</meta-value></custom-meta><custom-meta><meta-name>article-registration-date-year</meta-name><meta-value>2019</meta-value></custom-meta><custom-meta><meta-name>article-registration-date-month</meta-name><meta-value>11</meta-value></custom-meta><custom-meta><meta-name>article-registration-date-day</meta-name><meta-value>7</meta-value></custom-meta><custom-meta><meta-name>article-toc-levels</meta-name><meta-value>0</meta-value></custom-meta><custom-meta><meta-name>toc-levels</meta-name><meta-value>0</meta-value></custom-meta><custom-meta><meta-name>volume-type</meta-name><meta-value>Regular</meta-value></custom-meta><custom-meta><meta-name>journal-product</meta-name><meta-value>ArchiveJournal</meta-value></custom-meta><custom-meta><meta-name>numbering-style</meta-name><meta-value>ContentOnly</meta-value></custom-meta><custom-meta><meta-name>article-grants-type</meta-name><meta-value>OpenChoice</meta-value></custom-meta><custom-meta><meta-name>metadata-grant</meta-name><meta-value>OpenAccess</meta-value></custom-meta><custom-meta><meta-name>abstract-grant</meta-name><meta-value>OpenAccess</meta-value></custom-meta><custom-meta><meta-name>bodypdf-grant</meta-name><meta-value>OpenAccess</meta-value></custom-meta><custom-meta><meta-name>bodyhtml-grant</meta-name><meta-value>OpenAccess</meta-value></custom-meta><custom-meta><meta-name>bibliography-grant</meta-name><meta-value>OpenAccess</meta-value></custom-meta><custom-meta><meta-name>esm-grant</meta-name><meta-value>OpenAccess</meta-value></custom-meta><custom-meta><meta-name>online-first</meta-name><meta-value>false</meta-value></custom-meta><custom-meta><meta-name>pdf-file-reference</meta-name><meta-value>BodyRef/PDF/11098_2019_Article_1375.pdf</meta-value></custom-meta><custom-meta><meta-name>target-type</meta-name><meta-value>OnlinePDF</meta-value></custom-meta><custom-meta><meta-name>issue-online-date-year</meta-name><meta-value>2020</meta-value></custom-meta><custom-meta><meta-name>issue-online-date-month</meta-name><meta-value>9</meta-value></custom-meta><custom-meta><meta-name>issue-online-date-day</meta-name><meta-value>18</meta-value></custom-meta><custom-meta><meta-name>issue-print-date-year</meta-name><meta-value>2020</meta-value></custom-meta><custom-meta><meta-name>issue-print-date-month</meta-name><meta-value>9</meta-value></custom-meta><custom-meta><meta-name>issue-print-date-day</meta-name><meta-value>18</meta-value></custom-meta><custom-meta><meta-name>issue-type</meta-name><meta-value>Regular</meta-value></custom-meta><custom-meta><meta-name>article-type</meta-name><meta-value>OriginalPaper</meta-value></custom-meta><custom-meta><meta-name>journal-subject-primary</meta-name><meta-value>Philosophy</meta-value></custom-meta><custom-meta><meta-name>journal-subject-secondary</meta-name><meta-value>Philosophy, general</meta-value></custom-meta><custom-meta><meta-name>journal-subject-secondary</meta-name><meta-value>Epistemology</meta-value></custom-meta><custom-meta><meta-name>journal-subject-secondary</meta-name><meta-value>Philosophy of Mind</meta-value></custom-meta><custom-meta><meta-name>journal-subject-secondary</meta-name><meta-value>Ethics</meta-value></custom-meta><custom-meta><meta-name>journal-subject-secondary</meta-name><meta-value>Metaphysics</meta-value></custom-meta><custom-meta><meta-name>journal-subject-secondary</meta-name><meta-value>Philosophy of Language</meta-value></custom-meta><custom-meta><meta-name>journal-subject-collection</meta-name><meta-value>Education</meta-value></custom-meta><custom-meta><meta-name>open-access</meta-name><meta-value>true</meta-value></custom-meta></custom-meta-group></article-meta></front><body><p id="Par2">Causal Decision Theory (CDT) and Evidential Decision Theory (EDT) are two leading theories of rational choice. Briefly and informally, CDT says that a rational agent does whatever in her view most effectively <italic>brings about</italic> her ends. EDT says that a rational agent does whatever in her view is the best <italic>evidence</italic> of what she wants.<xref ref-type="fn" rid="Fn1">1</xref></p><p id="Par4">CDT and EDT are both intuitive but not both true. They conflict over cases like:<disp-quote><p id="Par5"><italic>Newcomb’s Problem.</italic> You must choose between (<inline-formula id="IEq19"><alternatives><mml:math><mml:msub><mml:mi>o</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math><tex-math id="IEq19_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o_{1}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq19.gif"/></alternatives></inline-formula>) taking only an opaque box (‘one-boxing’) and (<inline-formula id="IEq20"><alternatives><mml:math><mml:msub><mml:mi>o</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:math><tex-math id="IEq20_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o_{2}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq20.gif"/></alternatives></inline-formula>) taking both it and a transparent one in which $1000 (<inline-formula id="IEq21"><alternatives><mml:math><mml:mi>k</mml:mi></mml:math><tex-math id="IEq21_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$k$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq21.gif"/></alternatives></inline-formula>) is visible (‘two-boxing’). You get to keep what you take. The opaque box already contains $1 M (<inline-formula id="IEq22"><alternatives><mml:math><mml:mi>m</mml:mi></mml:math><tex-math id="IEq22_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$m$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq22.gif"/></alternatives></inline-formula>) if and only if (<inline-formula id="IEq23"><alternatives><mml:math><mml:msub><mml:mi>S</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math><tex-math id="IEq23_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$S_{1}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq23.gif"/></alternatives></inline-formula>) a highly reliable predictor foresaw your taking only it. If (<inline-formula id="IEq24"><alternatives><mml:math><mml:msub><mml:mi>S</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:math><tex-math id="IEq24_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$S_{2}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq24.gif"/></alternatives></inline-formula>) she foresaw your taking both boxes then the opaque box is empty. So the payoff schedule (in dollars, for which we assume linear increasing utility) is as follows (Table <xref rid="Tab1" ref-type="table">1</xref>). <table-wrap id="Tab1"><caption xml:lang="en"><p>Payoffs in Newcomb’s Problem</p></caption><table frame="hsides" rules="groups"><thead><tr><th align="left"/><th align="left"><p><inline-formula id="IEq151"><alternatives><mml:math><mml:msub><mml:mi>S</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math><tex-math id="IEq151_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$S_{1}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq151.gif"/></alternatives></inline-formula>: predicted <inline-formula id="IEq152"><alternatives><mml:math><mml:msub><mml:mi>o</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math><tex-math id="IEq152_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o_{1}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq152.gif"/></alternatives></inline-formula></p></th><th align="left"><p><inline-formula id="IEq153"><alternatives><mml:math><mml:msub><mml:mi>S</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:math><tex-math id="IEq153_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$S_{2}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq153.gif"/></alternatives></inline-formula>: predicted <inline-formula id="IEq154"><alternatives><mml:math><mml:msub><mml:mi>o</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:math><tex-math id="IEq154_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o_{2}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq154.gif"/></alternatives></inline-formula></p></th></tr></thead><tbody><tr><td align="left"><p><inline-formula id="IEq155"><alternatives><mml:math><mml:msub><mml:mi>o</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math><tex-math id="IEq155_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o_{1}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq155.gif"/></alternatives></inline-formula>: take only opaque box</p></td><td align="left"><p><inline-formula id="IEq156"><alternatives><mml:math><mml:mi>m</mml:mi></mml:math><tex-math id="IEq156_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$m$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq156.gif"/></alternatives></inline-formula></p></td><td align="left"><p><inline-formula id="IEq157"><alternatives><mml:math><mml:mrow><mml:mn>0</mml:mn></mml:mrow></mml:math><tex-math id="IEq157_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$0$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq157.gif"/></alternatives></inline-formula></p></td></tr><tr><td align="left"><p><inline-formula id="IEq158"><alternatives><mml:math><mml:msub><mml:mi>o</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:math><tex-math id="IEq158_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o_{2}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq158.gif"/></alternatives></inline-formula>: take both boxes</p></td><td align="left"><p><inline-formula id="IEq159"><alternatives><mml:math><mml:mrow><mml:mi>m</mml:mi><mml:mo>+</mml:mo><mml:mi>k</mml:mi></mml:mrow></mml:math><tex-math id="IEq159_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$m + k$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq159.gif"/></alternatives></inline-formula></p></td><td align="left"><p><inline-formula id="IEq160"><alternatives><mml:math><mml:mi>k</mml:mi></mml:math><tex-math id="IEq160_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$k$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq160.gif"/></alternatives></inline-formula></p></td></tr></tbody></table></table-wrap></p></disp-quote>You can’t <italic>affect</italic> what is in the opaque box, this having been settled at the time of the prediction. So taking both boxes causes you to be richer by <inline-formula id="IEq25"><alternatives><mml:math><mml:mi>k</mml:mi></mml:math><tex-math id="IEq25_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$k$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq25.gif"/></alternatives></inline-formula> than if you had taken only the opaque box. CDT therefore counts <inline-formula id="IEq26"><alternatives><mml:math><mml:msub><mml:mi>o</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:math><tex-math id="IEq26_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o_{2}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq26.gif"/></alternatives></inline-formula> as uniquely rational. But taking only the opaque box is strong evidence that you get <inline-formula id="IEq27"><alternatives><mml:math><mml:mi>m</mml:mi></mml:math><tex-math id="IEq27_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$m$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq27.gif"/></alternatives></inline-formula>, and taking both boxes is strong evidence that you get <inline-formula id="IEq28"><alternatives><mml:math><mml:mrow><mml:mi>k</mml:mi><mml:mo>≪</mml:mo><mml:mi>m</mml:mi></mml:mrow></mml:math><tex-math id="IEq28_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$k \ll m$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq28.gif"/></alternatives></inline-formula> (since the predictor is very reliable). EDT therefore counts <inline-formula id="IEq29"><alternatives><mml:math><mml:msub><mml:mi>o</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math><tex-math id="IEq29_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o_{1}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq29.gif"/></alternatives></inline-formula> as uniquely rational. CDT and EDT disagree over Newcomb’s Problem.</p><p id="Par6">Probably the most popular argument for one-boxing, and against CDT, is that one-boxing maximizes expected return. Since the predictor reliably foresees both one- and two-boxing, ‘one-boxers’ make on average just under <inline-formula id="IEq30"><alternatives><mml:math><mml:mi>m</mml:mi></mml:math><tex-math id="IEq30_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$m$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq30.gif"/></alternatives></inline-formula> per trial, whereas ‘two-boxers’ make on average more than <inline-formula id="IEq31"><alternatives><mml:math><mml:mi>k</mml:mi></mml:math><tex-math id="IEq31_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$k$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq31.gif"/></alternatives></inline-formula> but considerably less than <inline-formula id="IEq32"><alternatives><mml:math><mml:mi>m</mml:mi></mml:math><tex-math id="IEq32_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$m$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq32.gif"/></alternatives></inline-formula> per trial. So followers of EDT can ask followers of CDT: ‘If you’re so smart, why ain’cha rich?’</p><p id="Par7">To this argument, known as ‘Why ain’cha rich?’ or WAR, defenders of CDT have a simple reply. They say that its lower expected return has no bearing on the <italic>rationality</italic> of two-boxing, because two-boxers typically lack money-making <italic>opportunities</italic> that one-boxers typically enjoy. Most two-boxers face an opaque box that never contained any money, and most one-boxers face an opaque box that always contained $1 M. Call this the <italic>opportunity defence</italic> of CDT.<xref ref-type="fn" rid="Fn2">2</xref></p><p id="Par9">This paper defends the following material conditional: <italic>if</italic> agents lack opportunities in <italic>another</italic> case, a ‘Frankfurt case’, <italic>then</italic> the opportunity defence fails for a version of Newcomb’s Problem that Sections 1–4 construct. For those who know the Frankfurt cases, the argument is that Black’s role in the relevant Frankfurt cases involves prediction in a way that makes those cases interpretable as Newcomb problems. (For those who do not know the Frankfurt cases, Section 2 outlines the relevant points.)</p><p id="Par10">The conditional will prompt different people to draw different further conclusions. Anyone who maintains its antecedent will agree that the opportunity defence cannot blunt WAR. Anyone who maintains the opportunity defence will have to say that certain opportunities <italic>are</italic> available in Frankfurt cases. But even someone who is or becomes agnostic on both questions might find interest in the connection that the conditional establishes between the debate over practical rationality on which Newcomb’s problem bears, and the debate over free will on which Frankfurt cases bear.</p><p id="Par11">1. The construction starts with a base case, then modifies it in three steps. Before describing the base case I’ll sketch the idea behind <italic>Frankfurt cases</italic>.</p><p id="Par12">There is a debate over whether determinism is compatible with any kind of freedom that entails moral responsibility. One argument that they are incompatible turns on what Frankfurt called the:<disp-quote><p id="Par13"><italic>Principle of Alternate Possibilities (PAP)</italic>. A person is responsible for doing something only if he could have done otherwise.<xref ref-type="fn" rid="Fn3">3</xref></p></disp-quote>If PAP is true, and if determinism entails that anyone who has done something could not have done otherwise, then determinism is incompatible with anyone’s being morally responsible for what they did.</p><p id="Par15">Frankfurt’s case against PAP involves examples where a person is morally responsible for something that she could not have avoided doing. Such <italic>Frankfurt cases</italic> originally took the following form.<disp-quote><p id="Par16">Suppose someone – Black, let us say – wants Jones to perform a certain action. Black is prepared to go to considerable lengths to get his way, but he prefers to avoid showing his hand unnecessarily. So he waits until Jones makes up his mind what to do, and he does nothing unless it is clear to him (Black is an excellent judge of such things) that Jones is going to decide to do something other than what [Black] wants him to do. If it becomes clear that Jones is going to decide something else, Black takes effective steps to ensure that Jones decides to do, and that he does do, what [Black] wants him to do. Whatever Jones’s initial preferences and inclinations, then, Black will have his way… Now suppose that Black never has to show his hand because Jones, for reasons of his own, decides to perform and does perform the very action Black wants him to perform… In this example there are sufficient conditions for Jones’s performing the action in question. What action he performs is not up to him… He has no alternative but to do what Black wants him to do. If he does it on his own, however, his moral responsibility for doing it is not affected by the fact that Black was lurking in the background with sinister intent, since this intent never comes into play.<xref ref-type="fn" rid="Fn4">4</xref></p></disp-quote>Frankfurt holds that Jones was responsible for what he did even though he could not have done otherwise. If so, PAP fails.</p><p id="Par18">But arguably, the case only threatens both PAP <italic>and</italic> relevantly similar principles if Black’s procedure meets certain constraints. After all, even if Jones can’t get around <italic>doing</italic> what Black wants, he could still <italic>try</italic> or <italic>choose</italic> not to do it. Black would then force his hand – but still, the fact that Jones <italic>could</italic> have thus tried or chosen might suffice to make him responsible for his actual, wholehearted performance.<xref ref-type="fn" rid="Fn5">5</xref> That may not save PAP itself: Jones still performs the act, is responsible for doing so and has no alternative to <italic>performing</italic> it. But it does immunize nearby principles, such as this variant of PAP: an agent is responsible for a performance only if she could have acted blamelessly in the circumstances.<xref ref-type="fn" rid="Fn6">6</xref> That principle seems well-placed to do what the incompatibilist wanted PAP to do.</p><p id="Par21">In response, defenders of Frankfurt’s idea offer ‘<italic>prior sign</italic>’ cases where Black can intervene <italic>before</italic> Jones chooses whether to do what Black wants, and so also before he can try not to. Black can do this because he can observe some precursor of Jones’s choice. This example concerns the 2008 US Presidential election.<disp-quote><p id="Par22">Because he dares to hope that the Democrats finally have a good chance of winning the White House, the benevolent but elderly neurosurgeon, Black, has come out of retirement to participate in yet another philosophical example… He has secretly inserted a chip in Jones’s brain that enables Black to monitor and control Jones’s activities. Black can exercise this control through a sophisticated computer that he has programmed so that, among other things, it monitors Jones’s voting behaviour. If Jones were to show any inclination to vote for McCain (or, let us say, anyone other than Obama), then the computer, through the chip in Jones’s brain, would intervene to assure that he actually decides to vote for Obama and does so vote. But if Jones decides on his own to vote for Obama (as Black, the old progressive would prefer), the computer does nothing but continue to monitor—without affecting—the goings-on in Jones’s head. Now suppose that Jones decides to vote for Obama on his own, just as he would have if Black had not inserted the chip in his head. It seems, upon first thinking about this case, that Jones can be held morally responsible for his choice and act of voting for Obama, although he could not have chosen otherwise and he could not have done otherwise.<xref ref-type="fn" rid="Fn7">7</xref></p></disp-quote>Let Jones vote by pressing a button labelled ‘M’ (McCain) or a button labelled ‘O’ (Obama). Let Black’s chip work by detecting a <italic>necessary but not sufficient</italic> precursor of Jones’s being about to choose to press ‘M’.<xref ref-type="fn" rid="Fn8">8</xref> Black’s readiness to act on this necessary condition is meant to ensure not only that Jones could not have voted for McCain but also that he could not have chosen to vote for McCain. If Jones is still morally responsible, that rules out not only PAP but also any variant of it that ties moral responsibility for an act to the possibility of <italic>choosing</italic> or <italic>trying</italic> to act otherwise.</p><p id="Par25">The base case is a ‘prior sign’ Frankfurt case. But its bearing on PAP is irrelevant. It won’t matter to my main argument whether Jones is morally responsible for what he does (although I shall revisit that point in Section 10). What matters is that Jones could not have <italic>chosen or done</italic> otherwise.</p><p id="Par26">2. Start with a version of Fischer’s example—call it <bold>F1</bold>. Jones’s brain-state’s instantiating some neurological pattern N* is a necessary but not sufficient condition of Jones’s being about to decide (say, in the next seven seconds) to press ‘M’. Black has secretly implanted into Jones’s brain a chip that detects N*. If it does, it warns Black, who immediately intervenes through the chip to ensure that Jones chooses to vote for Obama (and does vote for Obama). As it happens, the chip never alerts Black, who never interferes, and Jones votes for Obama as he intended all along.</p><p id="Par27">Grant the following:<disp-quote><p id="Par28">(1) In F1 Jones <italic>lacks</italic> any opportunity to vote for McCain.</p></disp-quote>(1) is the antecedent of the target conditional: <italic>If</italic> Jones lacks opportunities to act otherwise in this case, <italic>then</italic> there is a Newcomb Problem for which the opportunity defence fails. So I may <italic>suppose</italic> (1) true without argument. Still, conditionals with wildly implausible antecedents have little interest, so I should motivate (1).</p><p id="Par29">The intuition is that it suffices for foreclosure of an opportunity, that one’s choice be subject to the wrong kind of external control. It is hard to say precisely what counts as the ‘wrong kind’. Intuitively, <italic>persuading</italic> you not to buy something doesn’t count as denying you the opportunity to buy it. Nor does modestly raising its price. But neurosurgical intervention counts, as does a steep enough increase in price—like pointing a gun at your head. Still, it seems plausibly sufficient for <italic>Black’s</italic> having denied Jones the opportunity to vote for McCain that Black is intentionally and systematically ‘linking conditions so that all the conditions that are necessary for the opportunity to be acted upon are never jointly satisfied’.<xref ref-type="fn" rid="Fn9">9</xref> That <italic>does</italic> look like the wrong kind of external control.</p><p id="Par31">In F1 the following conditions are nomologically necessary for Jones’s voting for McCain: (i) Jones’s brain-state instantiates N*; (ii) Jones doesn’t choose to vote for Obama. In F1 Black is systematically linking (i) and (ii) so that they are never jointly satisfied. If the chip detects that (i) is true then Black makes (ii) false. Black has therefore denied Jones the opportunity to vote for McCain in F1. So (1) is true.</p><p id="Par32">Next consider case <bold>F2</bold>: the chip only <italic>monitors</italic> Jones. It alerts Black if Jones’s brain-state instantiates N*. But Black can’t influence Jones via the chip or otherwise. I claim:<disp-quote><p id="Par33">(2) In F2 Jones <italic>has</italic> an opportunity to vote for McCain.</p></disp-quote>Mere <italic>recording</italic> of Jones’s brain-state, which is all that either does <italic>or could</italic> happen here, leaves his opportunities just as they would have been if neither Black nor the chip had been there. But if neither Black nor the chip had been there then Jones <italic>would</italic> have had an opportunity to vote for McCain, if anyone ever has an opportunity to do something that she does not actually do. So (2) is true.<xref ref-type="fn" rid="Fn10">10</xref></p><p id="Par35">3. To summarize where we are: so far, I have introduced a ‘prior sign’ Frankfurt case (F1), and a variant case (F2) where Black is observing but not controlling the subject. The next case modifies F1 by changing the locus of Black’s control: instead of being able to manipulate his choice, Black can only manipulate the <italic>effect</italic> of his choice. I’ll argue that a comparison with F1 reveals that Jones <italic>lacks</italic> certain opportunities, but a comparison with F2 reveals that he now <italic>has</italic> certain others.</p><p id="Par36">In <bold>F3</bold> then, Black <italic>can</italic> intervene. But if the chip detects N* then Black interferes not with <italic>Jones</italic> but with <italic>the voting machine</italic>. He remotely alters its program so that pressing <italic>either</italic> button records a vote for <italic>Obama</italic>. As before, Jones votes for Obama without interference, because his brain-state never instantiates N*, and Black never intervenes.</p><p id="Par37">If (1) and (2) are true then so are:<disp-quote><p id="Par38">(3) In F3 Jones <italic>lacks</italic> any opportunity to vote (i.e. to record a vote) for McCain.</p><p id="Par39">(4) In F3 Jones <italic>has</italic> an opportunity to press ‘M’.</p></disp-quote>My case for (3) is that F3 shares with F1 those features that make (1) true: Black is controlling Jones’s environment so as to prevent joint realization of all the necessary conditions for Jones’s voting for McCain. These necessary conditions include: (i) Jones’s brain-state instantiates N*; (ii) the machine is running normally. If the chip detects that (i) is true then Black makes (ii) false. Black is intentionally and systematically preventing it from being the case that Jones votes for McCain. So (3) is true.</p><p id="Par40">The case for (4) is that F3 shares with F2 those features that make (2) true. What makes it true in F2 that Jones can vote for McCain is that no external agent is stopping him. In F2, the chip only <italic>records</italic> N*. Black does nothing to influence Jones’s subsequent vote. Equally in F3, if the chip records N*, Black does nothing to prevent Jones from pressing ‘M’. He intervenes if at all only on the causal connection between the pressing of ‘M’ and the subsequent recording of a vote. If anyone ever has an opportunity to do anything that she doesn’t actually do, then Jones has an opportunity in F3 to press ‘M’. So (4) is true.</p><p id="Par41">4. So far, I have argued that a comparison with F2 and the base case shows that Jones has certain opportunities in F3 and lacks certain others. I’ll now modify F3, but not in a way that makes any structural difference to Jones’s opportunities. All that changes are the possible outcomes. The result is a Newcomb Problem.</p><p id="Par42">This fourth case, <bold>F4</bold>, resembles F3 except that the machine doesn’t record votes but transfers money. Jones chooses whether to press ‘M’ or ‘O’. As things are initially set up, pressing ‘M’ has no effect. But pressing ‘O’ transfers $1000 to Jones’s account. As before, a necessary condition of Jones’s being about to choose to press ‘M’ is that his brain-state instantiates N*.</p><p id="Par43">Again, a chip in Jones’s brain can reliably detect N*. But this time Black’s overriding intention is to reward restraint. More particularly, he wants to award $1 M to anyone who presses ‘M’. So if the chip detects N*, Black remotely reprograms the machine so that Jones’s pressing <italic>either</italic> button causes $1 M to be wired to Jones’s account, on top of the possible $1000 that Jones stands to gain by pressing ‘O’. Finally, we suppose that in F4 Jones knows about Black’s powers and intentions.</p><p id="Par44">As it happens, Black doesn’t act. Jones presses ‘O’. His brain-state never instantiates N*. He ends up $1000 richer.</p><p id="Par45">It is as true in F4 as in F3 that Black is systematically controlling Jones’s environment to prevent the joint realization of the necessary conditions for something: not for Jones’s voting for McCain, but for his realizing any outcome in which he presses ‘M’ and does <italic>not</italic> get $1 M. Jones’s knowing that and how Black is controlling his situation has no tendency to diminish this control. Nor does it <italic>give</italic> Black control over Jones’s choice between pressing ‘M’ and pressing ‘O’.</p><p id="Par46">Claim: if (3) and (4) are true then so are:<disp-quote><p id="Par47">(5) In F4 Jones <italic>lacks</italic> any opportunity to: press ‘M’ and not make $1 M.</p><p id="Par48">(6) In F4 Jones <italic>has</italic> an opportunity to press ‘M’.</p></disp-quote>The case for (5) is that F4 shares with F3 those features that make (3) true in F3. Two necessary conditions for the realization of this conjunction (i.e. Jones presses ‘M’ and does <italic>not</italic> make $1 M) are: (i) Jones’s brain-state at some point instantiates N*; (ii) the machine is running normally. If the chip detects that (i) is true, Black makes (ii) false. Jones therefore lacks any opportunity to: press ‘M’ and not make a million. F4 is a Frankfurt case where Black is determined that anyone who presses ‘M’ is rewarded: and to get his way, he is prepared to act to ensure that Jones does not both press ‘M’ and miss out on the big prize. So (5) is true.</p><p id="Par49">The case for (6) is that F4 shares with F3 those features that make (4) true in F3. As in F3, if the chip detects N*, Black does nothing to stop Jones <italic>from pressing ‘M’</italic>. Jones has an opportunity to press ‘M’ if anyone ever has an opportunity to do anything that she doesn’t do. So (6) is true.</p><p id="Par50">5. F4 is a Newcomb Problem where pressing ‘M’ corresponds to one-boxing and pressing ‘O’ corresponds to two-boxing. The payoffs in F4 are as follows (Table <xref rid="Tab2" ref-type="table">2</xref>):<table-wrap id="Tab2"><caption xml:lang="en"><p>Payoffs in F4</p></caption><table frame="hsides" rules="groups"><thead><tr><th align="left"/><th align="left"><p><inline-formula id="IEq161"><alternatives><mml:math><mml:msub><mml:mi>S</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math><tex-math id="IEq161_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$S_{1}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq161.gif"/></alternatives></inline-formula>: Black detects N*</p></th><th align="left"><p><inline-formula id="IEq162"><alternatives><mml:math><mml:msub><mml:mi>S</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:math><tex-math id="IEq162_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$S_{2}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq162.gif"/></alternatives></inline-formula>: Black does not detect N*</p></th></tr></thead><tbody><tr><td align="left"><p><inline-formula id="IEq163"><alternatives><mml:math><mml:msub><mml:mi>o</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math><tex-math id="IEq163_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o_{1}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq163.gif"/></alternatives></inline-formula>: press ‘M’</p></td><td align="left"><p><inline-formula id="IEq164"><alternatives><mml:math><mml:mi>m</mml:mi></mml:math><tex-math id="IEq164_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$m$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq164.gif"/></alternatives></inline-formula></p></td><td align="left"><p><inline-formula id="IEq165"><alternatives><mml:math><mml:mrow><mml:mn>0</mml:mn></mml:mrow></mml:math><tex-math id="IEq165_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$0$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq165.gif"/></alternatives></inline-formula></p></td></tr><tr><td align="left"><p><inline-formula id="IEq166"><alternatives><mml:math><mml:msub><mml:mi>o</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:math><tex-math id="IEq166_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o_{2}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq166.gif"/></alternatives></inline-formula>: press ‘O’</p></td><td align="left"><p><inline-formula id="IEq167"><alternatives><mml:math><mml:mrow><mml:mi>m</mml:mi><mml:mo>+</mml:mo><mml:mi>k</mml:mi></mml:mrow></mml:math><tex-math id="IEq167_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$m + k$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq167.gif"/></alternatives></inline-formula></p></td><td align="left"><p><inline-formula id="IEq168"><alternatives><mml:math><mml:mi>k</mml:mi></mml:math><tex-math id="IEq168_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$k$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq168.gif"/></alternatives></inline-formula></p></td></tr></tbody></table></table-wrap></p><p id="Par51">In F4 Jones chooses the two-boxing option (i.e. he presses ‘O’).</p><p id="Par52">In F4, pressing ‘O’ dominates. If Black <italic>has</italic> detected N* then Jones gets at least $1 M. But pressing ‘O’ returns an additional $1000. If Black <italic>has not</italic> detected N*, then pressing ‘M’ leaves Jones empty-handed, but pressing ‘O’ returns $1000. Moreover, whether Black has <italic>already</italic> detected N* when Jones chooses is <italic>causally</italic> independent of Jones’s choice, because it precedes Jones’s choice by about seven seconds. CDT therefore prefers pressing ‘O’.</p><p id="Par53">But what Jones chooses to do <italic>is evidentially</italic> relevant to whether Black has detected N*, given Jones’s evidence when he chooses. Certainly, if Jones chooses to press ‘M’, Black has detected N*. But if Jones chooses to press ‘O’, it is less than certain that Black has detected N*, and may be most unlikely according to Jones’s credences. If Jones thinks that Black detects N* on fewer than 99.9% of occasions on which the agent presses ‘O’, EDT recommends pressing ‘M’.<xref ref-type="fn" rid="Fn11">11</xref></p><p id="Par55">This completes the construction of the advertised Newcomb Problem i.e. F4. Here as in all Newcomb Problems, it is foreseeable that the average return to ‘one-boxing’ (pressing ‘M’) exceeds the average return to ‘two-boxing’ (pressing ‘O’). At any rate this is so if Black detects N* on all occasions on which the agent presses ‘M’ and on fewer than 99.9% of occasions on which the agent presses ‘O’. ‘One-boxers’, who all make $1 M per trial, can therefore press the WAR objection against Jones and other ‘two-boxers’, who on average make less, possibly much less, than $1 M per trial.</p><p id="Par56">6. The next step argues that in <italic>this</italic> Newcomb Problem the ‘opportunity defence’ is not available. Here is the informal argument. For formalization in a weak modal logic, see the Appendix.</p><p id="Par57">(5) and (6) imply that Jones has an opportunity to press ‘M’ but not to press ‘M’ without making $1 M. But if Jones <italic>can</italic> in this sense press ‘M’ but <italic>can’t</italic> press ‘M’ <italic>without</italic> making $1 M, then he <italic>can</italic> get $1 M. Therefore, Jones <italic>has</italic> an opportunity to make $1 M. He cannot invoke the opportunity defence.</p><p id="Par58">Or if he does, then he must explain which of (5) or (6) he rejects, and why. (6) looks unassailable; and I argued that (5) is true if (1) is. Hence my conditional conclusion: <italic>if</italic> in Frankfurt cases like F1 Black has deprived Jones of any opportunity to realize what Black wants to avert, <italic>then</italic> F4 is a Newcomb case where the opportunity defence is unavailable.</p><p id="Par59">That concludes the main argument. I turn to three objections.</p><p id="Par60">7. Nothing in these examples presupposes determinism about Jones’s choices, in the sense that the state of the world at any earlier time nomologically determines Jones’s choice. It is not true, for instance, that N* nomologically necessitates that Jones will choose to press ‘M’ in F4, nor that the absence of N* nomologically necessitates that Jones will choose to press ‘O’. The absence of N* at any time only necessitates that Jones will not choose to press ‘M’ <italic>in the next few seconds</italic>; this is nomologically consistent with his doing so later.</p><p id="Par61">But even that limited determinism, not about Jones’s ultimate choice but about any choice he makes in a given time window, might seem to threaten (6). The objection is that <italic>when</italic> he presses ‘O’ Jones <italic>lacks</italic> any opportunity to press ‘M’, because his brain-state was not recently instantiating N*. Nor did he have that opportunity <italic>earlier</italic> if his brain-state never instantiated N*. So Jones can complain (contrary to (6)) that he <italic>never</italic> had an opportunity to press ‘M’.<xref ref-type="fn" rid="Fn12">12</xref></p><p id="Par63">There are three responses. The most defensive response is that the objection would only appeal to someone who thinks that <italic>any</italic> pre-<inline-formula id="IEq35"><alternatives><mml:math><mml:mi>t</mml:mi></mml:math><tex-math id="IEq35_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$t$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq35.gif"/></alternatives></inline-formula> state of the world, that nomologically determines that one will not choose an option at <inline-formula id="IEq36"><alternatives><mml:math><mml:mi>t</mml:mi></mml:math><tex-math id="IEq36_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$t$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq36.gif"/></alternatives></inline-formula>, eliminates any opportunity to choose that option at <inline-formula id="IEq37"><alternatives><mml:math><mml:mi>t</mml:mi></mml:math><tex-math id="IEq37_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$t$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq37.gif"/></alternatives></inline-formula>. One might instead think that the <italic>only</italic> determining factors that are genuinely opportunity-depriving are those involving external impediments or external interference by another. On this view, the fact that your present choice is <italic>somehow</italic> determined by your past (internal) brain-state cannot by itself deprive you of any present opportunity to do whatever that brain-state rules out. Thus (apparently) Dennett, who grants in support of (5) that Frankfurt-style interference deprives Jones of an opportunity,<xref ref-type="fn" rid="Fn13">13</xref> whilst maintaining—in support of (6)—that mere determination-by-the-past does not.<disp-quote><p id="Par65">[A] real opportunity is an occasion where a self-controller ‘faces’ (is informed about) a situation in which the outcome of its subsequent ‘deliberation’ will be a decisive (as we say) factor. In such a situation more than one outcome is ‘possible’ so far as the agent or self-controller is concerned; that is, the critical nexus passes through its deliberation. That is what we mean when we say that the outcome is up to the agent.<xref ref-type="fn" rid="Fn14">14</xref></p></disp-quote>Anyone who agrees with Dennett will accept (5) but reject this objection to (6).</p><p id="Par67">Waiving that, the second point is that even if Jones lacked any opportunity <italic>to press ‘M’ when he chose to press ‘O’</italic>, it doesn’t follow that he lacked any opportunity <italic>to press ‘M’</italic>. When he pressed ‘O’ he could instead have waited. And there need have been nothing about the state of his brain or of the world at that time that was nomologically inconsistent with his pressing ‘M’ later. So even if Jones lacked any opportunity <italic>to press ‘M’ when he chose to press ‘O’</italic>, he had <italic>an opportunity</italic> to press ‘M’, and he had an opportunity to make $1 M.<xref ref-type="fn" rid="Fn15">15</xref></p><p id="Par69">The third, more tentative point is that it may be unnecessary to suppose that the prior appearance of N* is a <italic>necessary</italic> condition for Jones to press ‘M’. Suppose instead that N* is ‘nearly’ necessary: at the outset there is a very high <italic>chance</italic><inline-formula id="IEq38"><alternatives><mml:math><mml:mi>p</mml:mi></mml:math><tex-math id="IEq38_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$p$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq38.gif"/></alternatives></inline-formula> that his brain-state instantiates N* at some later time, given that he does at some later time choose to press ‘M’; and that there is a lower chance <inline-formula id="IEq39"><alternatives><mml:math><mml:mrow><mml:mi>q</mml:mi><mml:mo>&lt;</mml:mo><mml:mi>p</mml:mi><mml:mo>-</mml:mo><mml:mfrac><mml:mi>k</mml:mi><mml:mi>m</mml:mi></mml:mfrac></mml:mrow></mml:math><tex-math id="IEq39_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$q &lt; p - \frac{k}{m}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq39.gif"/></alternatives></inline-formula> that his brain-state ever instantiates N*, given that he chooses to press ‘O’. If these conditional chances control the corresponding frequencies then this indeterministic case is a Newcomb Problem where pressing ‘M’ generates a foreseeably higher average return than pressing ‘O’. If Jones makes $1 K, can he now plead the opportunity defence?</p><p id="Par70">Clearly (6) still holds, because now Jones’s choice is undetermined by <italic>anything</italic> in its past. Everything turns on whether (5) holds i.e. on whether, in this indeterministic case, Black has deprived Jones of an opportunity to: press ‘M’ and not make $1 M. Has he? To see why he has, compare these cases.<disp-quote><p id="Par71">(a) Black shuts Jones in a room from which the only exit is a door that Black has secured with a steel padlock, and Jones doesn’t have a key.</p><p id="Par72">(b) Black shuts Jones in a room from which the only exit is a door that Black has secured with a combination lock with 100 million settings, and Jones doesn’t know the combination.</p></disp-quote>Could anyone say with a straight face that Jones has an opportunity to leave the room in (b) though not in (a)? It may in <italic>some</italic> sense be possible that Jones leaves in (b) but not in (a). For instance, it may be that laws of nature plus simple physical facts rule out Jones’s getting past the padlock in (a), but not his hitting on the right combination in (b). But this sort of ‘opportunity’ lacks real interest.<xref ref-type="fn" rid="Fn16">16</xref> For all practical purposes, Black <italic>has</italic> ensured that Jones stays put in (b). For that matter, if quantum tunnelling is physically possible then it is equally possible in that sense that Jones leaves in (a).</p><p id="Par74">(6) can therefore tolerate some injection of chanciness into F4. Black can ensure that Jones does not achieve this or that outcome without making anything physically impossible. For Black to do that, it suffices that (i) it doesn’t happen because (ii) Black has made it sufficiently unlikely. But then even in this <italic>indeterministic</italic> version of F4, Black has eliminated Jones’s opportunity to get anything other than $1 M by pressing ‘M’. Since Jones <italic>has</italic> an opportunity to press ‘M’, it follows that he has an opportunity to make $1 M, so cannot plead the opportunity defence.</p><p id="Par75">Somebody might object that there is, in this indeterministic version, something that Jones knows how to do—pressing ‘M’—such that, if he were to do it, then he <italic>would</italic> be falsifying the material conditional <inline-formula id="IEq40"><alternatives><mml:math><mml:mrow><mml:msub><mml:mi>o</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo stretchy="false">→</mml:mo><mml:mi>m</mml:mi></mml:mrow></mml:math><tex-math id="IEq40_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o_{1} \to m$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq40.gif"/></alternatives></inline-formula>, at least on a non-back-tracking reading of ‘If he were to do it…’.<xref ref-type="fn" rid="Fn17">17</xref> But then in (b), there is something that he knows how to do—entering the sequence 01271756—such that, if he were to do it, then he would be opening the combination lock. If it is consistent with the latter that Black has locked Jones into the room in (b) then it is consistent with the former that Black has locked Jones out of falsifying <inline-formula id="IEq48"><alternatives><mml:math><mml:mrow><mml:msub><mml:mi>o</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo stretchy="false">→</mml:mo><mml:mi>m</mml:mi></mml:mrow></mml:math><tex-math id="IEq48_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o_{1} \to m$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq48.gif"/></alternatives></inline-formula> in F4.</p><p id="Par77">For that matter there is, on the non-back-tracking reading, something that Jones knows how to do in the original Frankfurt case—pressing ‘M’—such that if he were to do it, he would be voting for McCain. So anyone who takes this line against (5) must also reject (1). The objection is therefore impotent against the <italic>conditional</italic>: <italic>if</italic> Jones lacks the opportunities that he is supposed to lack in ‘prior sign’ Frankfurt cases, <italic>then</italic> the opportunity defence fails for both F4 and this indeterministic version of it.</p><p id="Par78">A chancy case like this may be feasible. In a recent study, fMRI subjects would ‘fixat[e] on the centre of [a] screen where a stream of letters was presented. At some point, when they felt the urge to do so, they were to freely decide between one of two buttons, operated by the left and right index fingers, and press it immediately’.<xref ref-type="fn" rid="Fn18">18</xref> Experimenters found that:<disp-quote><p id="Par80">two brain regions encoded with high accuracy whether the subject was about to choose the left or right response prior to the conscious decision… The first region was in frontopolar cortex, BA10. The predictive information in the fMRI signals from this brain region was already present 7 s. before the subject’s motor decision.<xref ref-type="fn" rid="Fn19">19</xref></p></disp-quote>Suppose we find that for almost all subjects who choose to press the left-hand button, an indication of this is present in the relevant region of BA10 a few seconds before they choose. Similarly, suppose that for most subjects who choose to press the right-hand button, an indication of this is present in the same region a few seconds beforehand. We could arrange things so that pressing the right-hand button caused the release of $1000 to the subject’s bank account and pressing the left-hand button caused the termination of the experiment without this reward. Black could then further arrange to release $1 M to the subject’s bank account as soon as fMRI detected that the subject would press the left-hand button.<xref ref-type="fn" rid="Fn20">20</xref> In this case all subjects have, but only those who press the left-hand button realize, an opportunity to win $1 M.</p><p id="Par83">8. A second objection is that F4 is not a Newcomb case at all. A genuine Newcomb case involves exactly two options: ‘one-boxing’ and ‘two-boxing’. But F4 offers Jones <italic>three</italic> options at any time. He can press ‘M’ now; he can press ‘O’ now; and he can <italic>wait</italic> before choosing.</p><p id="Par84">This makes a difference because CDT seems to recommend waiting. After all, the <italic>effect</italic> of waiting can only be to make N* more likely to occur at <italic>some</italic> time before Jones chooses what to press. But F4 is a Newcomb case only if CDT recommends pressing ‘O’.</p><p id="Par85">But even if CDT sometimes recommends waiting, this doesn’t help CDT. Whether or not F4 is strictly a Newcomb case, followers of CDT will wait either forever (and never win anything) or until the marginal costs of waiting exceed the marginal benefits of increasing the probability that N* is at some point realized in their brains, and at that point press ‘O’ and end up with $1000. In either case those agents end up worse than followers of EDT, and in either case they can’t complain that they lacked the opportunity to win $1 M.</p><p id="Par86">Besides, it isn’t clear that CDT <italic>does</italic> recommend waiting. If (as we might suppose) N* only ever occurs within a fixed time interval preceding the subject’s choice, there is no reason to expect waiting to increase the probability that N* precedes whatever choice the subject ultimately makes. Compare: my space capsule only deploys a parachute when it is a minute away from landing. Waiting before starting my descent (rather than descending immediately) doesn’t make it more likely that the parachute is deployed at some time before landing.</p><p id="Par87">But if CDT doesn’t recommend waiting (and of course neither does EDT) then the only plausible options at any time are pressing ‘M’ and pressing ‘O’, so F4 is after all a Newcomb case.</p><p id="Par88">9. The third objection involves a notion of opportunity that falsifies (5).</p><p id="Par89"><bold>C-opportunity:</bold> At any time:<disp-quote><p id="Par90"><list list-type="order"><list-item><p id="Par91">You have a <italic>counterfactual opportunity (a C</italic>-<italic>opportunity) to realize the truth of a proposition</italic><inline-formula id="IEq49"><alternatives><mml:math><mml:mi>p</mml:mi></mml:math><tex-math id="IEq49_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$p$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq49.gif"/></alternatives></inline-formula><italic>by choosing</italic><inline-formula id="IEq50"><alternatives><mml:math><mml:mi>o</mml:mi></mml:math><tex-math id="IEq50_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq50.gif"/></alternatives></inline-formula> iff <inline-formula id="IEq51"><alternatives><mml:math><mml:mi>o</mml:mi></mml:math><tex-math id="IEq51_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq51.gif"/></alternatives></inline-formula> is an option at that time such that if you <italic>had</italic> at that time realized <inline-formula id="IEq52"><alternatives><mml:math><mml:mi>o</mml:mi></mml:math><tex-math id="IEq52_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq52.gif"/></alternatives></inline-formula>, then <inline-formula id="IEq53"><alternatives><mml:math><mml:mi>p</mml:mi></mml:math><tex-math id="IEq53_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$p$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq53.gif"/></alternatives></inline-formula><italic>would</italic> have been true.<xref ref-type="fn" rid="Fn21">21</xref></p></list-item><list-item><p id="Par93">You have a <italic>C</italic>-<italic>opportunity to</italic><inline-formula id="IEq54"><alternatives><mml:math><mml:mi>φ</mml:mi></mml:math><tex-math id="IEq54_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\varphi$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq54.gif"/></alternatives></inline-formula><italic>by choosing</italic><inline-formula id="IEq55"><alternatives><mml:math><mml:mi>o</mml:mi></mml:math><tex-math id="IEq55_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq55.gif"/></alternatives></inline-formula> iff you have a C-opportunity to realize the truth of the proposition that you <inline-formula id="IEq56"><alternatives><mml:math><mml:mi>φ</mml:mi></mml:math><tex-math id="IEq56_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\varphi$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq56.gif"/></alternatives></inline-formula> by choosing <inline-formula id="IEq57"><alternatives><mml:math><mml:mi>o</mml:mi></mml:math><tex-math id="IEq57_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq57.gif"/></alternatives></inline-formula>.</p></list-item><list-item><p id="Par94">You have a <italic>C</italic>-<italic>opportunity to</italic><inline-formula id="IEq58"><alternatives><mml:math><mml:mi>φ</mml:mi></mml:math><tex-math id="IEq58_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\varphi$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq58.gif"/></alternatives></inline-formula> iff one of your options is such that you have a C-opportunity to <inline-formula id="IEq59"><alternatives><mml:math><mml:mi>φ</mml:mi></mml:math><tex-math id="IEq59_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\varphi$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq59.gif"/></alternatives></inline-formula> by choosing it.</p></list-item></list></p></disp-quote>Crucially, the counterfactual in (i) is a non-back-tracking conditional <inline-formula id="IEq60"><alternatives><mml:math><mml:mo>&gt;</mml:mo></mml:math><tex-math id="IEq60_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$&gt;$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq60.gif"/></alternatives></inline-formula>: <inline-formula id="IEq61"><alternatives><mml:math><mml:mrow><mml:mi>a</mml:mi><mml:mo>&gt;</mml:mo><mml:mi>b</mml:mi></mml:mrow></mml:math><tex-math id="IEq61_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$a &gt; b$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq61.gif"/></alternatives></inline-formula> is true iff all of the closest possible worlds at which <inline-formula id="IEq62"><alternatives><mml:math><mml:mi>a</mml:mi></mml:math><tex-math id="IEq62_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$a$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq62.gif"/></alternatives></inline-formula> is true (the closest ‘<inline-formula id="IEq63"><alternatives><mml:math><mml:mi>a</mml:mi></mml:math><tex-math id="IEq63_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$a$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq63.gif"/></alternatives></inline-formula>-worlds’) are <inline-formula id="IEq64"><alternatives><mml:math><mml:mi>b</mml:mi></mml:math><tex-math id="IEq64_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$b$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq64.gif"/></alternatives></inline-formula>-worlds, where the closest <inline-formula id="IEq65"><alternatives><mml:math><mml:mi>a</mml:mi></mml:math><tex-math id="IEq65_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$a$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq65.gif"/></alternatives></inline-formula>-worlds (i) match the actual world over all particular matters of fact that are causally independent of whether <inline-formula id="IEq66"><alternatives><mml:math><mml:mi>a</mml:mi></mml:math><tex-math id="IEq66_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$a$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq66.gif"/></alternatives></inline-formula> is true; and (ii) contain no violations of the actual laws except possibly for a small, local miracle that very shortly precedes and also brings about the realization of <inline-formula id="IEq67"><alternatives><mml:math><mml:mi>a</mml:mi></mml:math><tex-math id="IEq67_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$a$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq67.gif"/></alternatives></inline-formula>.<xref ref-type="fn" rid="Fn22">22</xref></p><p id="Par96">On this definition of opportunity, (5) is false when Jones chooses to press ‘O’. At that time, he has the option to press ‘M’. And if—in the non-back-tracking sense—Jones <italic>had</italic> then pressed ‘M’, it would have been true that: he presses ‘M’ and fails to make $1 M. Jones therefore has a C-opportunity to press ‘M’ and fail to make $1 M.</p><p id="Par97">Similarly, if opportunities are just C-opportunities then Jones lacks any opportunity to make $1 M. This is because when he chooses, Black has not detected N* and has not transferred $1 M to Jones’s account. These facts are causally independent of what Jones chooses. So if—in the non-back-tracking sense—Jones had chosen either option, it would <italic>not</italic> have been the case that he made $1 M. Jones therefore lacks a C-opportunity to make $1 M.<xref ref-type="fn" rid="Fn23">23</xref></p><p id="Par99">I concede that if opportunities are C-opportunities then (5) is false. But I deny that this undermines the argument. I defended the material conditional: <italic>if</italic> Jones lacks an opportunity to defy Black in a Frankfurt case like F1, then he has an opportunity to make $1 M in a Newcomb case like F4. If opportunities are C-opportunities then the consequent of this conditional is false, but so is its antecedent. The conditional is still true.</p><p id="Par100">The antecedent is false in F1 because the implant has <italic>not</italic> detected N* when Jones chooses to vote for Obama. So Black is <italic>not</italic> intervening. This fact is causally independent of Jones’s choice. So at the closest worlds at which Jones chooses to vote for McCain, Black is not intervening. At these worlds Jones presses ‘M’ and votes for McCain. So Jones has a C-opportunity to vote for McCain. Anyone who thinks that opportunities are C-opportunities should deny that Black eliminates them in ‘prior sign’ Frankfurt cases.<xref ref-type="fn" rid="Fn24">24</xref> But this is no objection to the conditional defended here: <italic>if</italic> Jones lacks an opportunity to defy Black in a Frankfurt case like F1, <italic>then</italic> he has an opportunity to make <inline-formula id="IEq71"><alternatives><mml:math><mml:mi>m</mml:mi></mml:math><tex-math id="IEq71_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$m$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq71.gif"/></alternatives></inline-formula> in a Newcomb case like F4.<xref ref-type="fn" rid="Fn25">25</xref></p><p id="Par103">10. The next step in this dialectic – which I cannot pursue at length – turns on a question that this conditional raises. We saw two kinds of opportunity in play: C-opportunity, and the kind of opportunity that Black’s presence, intentions and capacities are denying to Jones in the Frankfurt cases—call it ‘F-opportunity’.<xref ref-type="fn" rid="Fn26">26</xref> The question is whether lack of C-opportunity to do better is by itself <italic>sufficient</italic> for exculpation. If so, then Jones cannot be blamed for making only $1000, because he <italic>lacks</italic> any C-opportunity to make more. On the other hand, if lack of C-opportunity is insufficient, then the opportunity defence is at best incomplete, because as we saw, it appeals only to Jones’s lack of C-opportunity, not to any lack of F-opportunity.</p><p id="Par105">One <italic>prima facie</italic> basis for thinking that lack of C-opportunity cannot by itself be exculpatory arises from reflection on something like the <italic>original</italic> Frankfurt case (not the ‘prior sign’ cases). Suppose that Black plans to wait until Jones has decided what to do, and then if necessary—if he has decided to vote for McCain—to coerce or force him into voting for Obama. Jones then lacks any C-opportunity to vote for McCain, but he is still responsible for voting for Obama if he does it wholeheartedly. Similarly, we might suspect that someone who autonomously chooses to exercise, and does exercise, the ‘two-boxing’ option in the Newcomb Problem is responsible for his (relative) impoverishment. (Of course this is at best a sketch of an argument).<xref ref-type="fn" rid="Fn27">27</xref></p><p id="Par107">It might also help to examine moral Newcomb Problems: cases like F4 where the payoffs carry moral significance. The literature hasn’t covered these extensively, but one notable recent treatment is due to MacAskill, who offers the following:<disp-quote><p id="Par108">Box A is opaque; Box B, transparent. If the Predictor predicts that you choose Box A only, then he puts one wish into Box A. With that wish, you would save the lives of one million terminally ill children. If he predicts that you choose both Box A and Box B, then he will put nothing into Box A. Box B—transparent to you—contains a stick of gum. You have two options only: Choose Box A, or choose both Box A and Box B.<xref ref-type="fn" rid="Fn28">28</xref></p></disp-quote>I am inclined to agree with MacAskill’s own intuition in favour of one-boxing here; more to the present point, it seems reasonable to blame any two-boxer for betting with other people’s lives that he could outwit the predictor. (‘But when I chose to two-box I <italic>couldn’t</italic> have saved them!’—‘But in the sense in which you couldn’t outwit the predictor, you <italic>could</italic> have saved them.’) If so, the lack of any C-opportunity to do better than one actually did cannot in general be exculpatory.</p><p id="Par110">Obviously there is more to be said about the interplay of ethical, decision-theoretic and forensic reasoning that this case involves, and also about whether the conditional that this essay defends serves better as the major premise of a modus ponens or as the major premise of a modus tollens (if either). Still, the conditional itself is true: whatever kind of opportunity is being foreclosed in the Frankfurt cases is <italic>not</italic> being denied to two-boxers like Jones in the Newcomb case that we studied. And I hope that it gets us closer to resolving at least one of the two long-standing philosophical problems that it connects.</p></body><back><ack><title>Acknowledgements</title><p>I am most grateful to Yael Loewenstein, Jack Spencer and Robert Stalnaker for helpful discussion, and to two referees for very helpful comments on an earlier draft of this paper. I am also grateful to the Leverhulme Trust, which supported me via a Research Fellowship (REF-2018-231) during the writing of this paper.</p></ack><ref-list id="Bib1"><title>References</title><ref-list><ref id="CR1"><mixed-citation publication-type="book"><person-group person-group-type="author"><name><surname>Dennett</surname><given-names>D</given-names></name></person-group><source>Elbow room: The varieties of free will worth wanting</source><year>2015</year><edition>2</edition><publisher-loc>Cambridge, MA</publisher-loc><publisher-name>MIT Press</publisher-name></mixed-citation></ref><ref id="CR2"><mixed-citation publication-type="book"><person-group person-group-type="author"><name><surname>Edgington</surname><given-names>D</given-names></name></person-group><person-group person-group-type="editor"><name><surname>Dowe</surname><given-names>P</given-names></name><name><surname>Noordhof</surname><given-names>P</given-names></name></person-group><article-title xml:lang="en">Counterfactuals and the benefit of hindsight</article-title><source>Cause and chance: Causation in an indeterministic world</source><year>2004</year><publisher-loc>London</publisher-loc><publisher-name>Routledge</publisher-name><fpage>12</fpage><lpage>27</lpage></mixed-citation></ref><ref id="CR3"><mixed-citation publication-type="journal"><person-group person-group-type="author"><name><surname>Elga</surname><given-names>A</given-names></name></person-group><article-title xml:lang="en">Infinitesimal chances and laws of nature</article-title><source>Australasian Journal of Philosophy</source><year>2004</year><volume>82</volume><fpage>67</fpage><lpage>76</lpage><pub-id pub-id-type="doi">10.1080/713659804</pub-id></mixed-citation></ref><ref id="CR4"><mixed-citation publication-type="journal"><person-group person-group-type="author"><name><surname>Fischer</surname><given-names>JM</given-names></name></person-group><article-title xml:lang="en">The Frankfurt cases: The moral of the stories</article-title><source>Philosophical Review</source><year>2010</year><volume>119</volume><fpage>315</fpage><lpage>336</lpage><pub-id pub-id-type="doi">10.1215/00318108-2010-002</pub-id></mixed-citation></ref><ref id="CR5"><mixed-citation publication-type="book"><person-group person-group-type="author"><name><surname>Frankfurt</surname><given-names>H</given-names></name></person-group><person-group person-group-type="editor"><name><surname>Watson</surname><given-names>G</given-names></name></person-group><article-title xml:lang="en">Alternate possibilities and moral responsibility. Journal of Philosophy 66:829–839</article-title><source>Free will</source><year>1969</year><publisher-loc>Oxford</publisher-loc><publisher-name>OUP 2003</publisher-name><fpage>167</fpage><lpage>177</lpage></mixed-citation></ref><ref id="CR6"><mixed-citation publication-type="journal"><person-group person-group-type="author"><name><surname>Gaifman</surname><given-names>H</given-names></name><name><surname>Snir</surname><given-names>M</given-names></name></person-group><article-title xml:lang="en">Probabilities over rich languages, testing and randomness</article-title><source>Journal of Symbolic Logic</source><year>1982</year><volume>47</volume><fpage>495</fpage><lpage>548</lpage><pub-id pub-id-type="doi">10.2307/2273587</pub-id></mixed-citation></ref><ref id="CR7"><mixed-citation publication-type="journal"><person-group person-group-type="author"><name><surname>Horgan</surname><given-names>T</given-names></name></person-group><article-title xml:lang="en">Counterfactuals and Newcomb’s problem</article-title><source>Journal of Philosophy</source><year>1981</year><volume>78</volume><fpage>331</fpage><lpage>356</lpage><pub-id pub-id-type="doi">10.2307/2026128</pub-id></mixed-citation></ref><ref id="CR8"><mixed-citation publication-type="other">Hume, D. (1975). <italic>Enquiries concerning human understanding and concerning the principles of morals</italic>, ed. L. A. Selby-Bigge. Oxford: Clarendon Press.</mixed-citation></ref><ref id="CR9"><mixed-citation publication-type="journal"><person-group person-group-type="author"><name><surname>Hunt</surname><given-names>DP</given-names></name></person-group><article-title xml:lang="en">Moral responsibility and buffered alternatives</article-title><source>Midwest Studies in Philosophy</source><year>2005</year><volume>29</volume><fpage>126</fpage><lpage>145</lpage><pub-id pub-id-type="doi">10.1111/j.1475-4975.2005.00109.x</pub-id></mixed-citation></ref><ref id="CR10"><mixed-citation publication-type="book"><person-group person-group-type="author"><name><surname>Jeffrey</surname><given-names>RC</given-names></name></person-group><source>The logic of decision</source><year>1983</year><edition>2</edition><publisher-loc>Chicago</publisher-loc><publisher-name>Chicago UP</publisher-name></mixed-citation></ref><ref id="CR11"><mixed-citation publication-type="book"><person-group person-group-type="author"><name><surname>Joyce</surname><given-names>JM</given-names></name></person-group><source>Foundations of causal decision theory</source><year>1999</year><publisher-loc>Cambridge</publisher-loc><publisher-name>CUP</publisher-name></mixed-citation></ref><ref id="CR12"><mixed-citation publication-type="journal"><person-group person-group-type="author"><name><surname>Levy</surname><given-names>N</given-names></name></person-group><article-title xml:lang="en">Counterfactual intervention and agents’ capacities</article-title><source>Journal of Philosophy</source><year>2008</year><volume>105</volume><fpage>223</fpage><lpage>239</lpage><pub-id pub-id-type="doi">10.5840/jphil2008105541</pub-id></mixed-citation></ref><ref id="CR13"><mixed-citation publication-type="journal"><person-group person-group-type="author"><name><surname>Lewis</surname><given-names>DK</given-names></name></person-group><article-title xml:lang="en">Counterfactual dependence and time’s arrow</article-title><source>Noûs</source><year>1979</year><volume>13</volume><fpage>455</fpage><lpage>476</lpage><pub-id pub-id-type="doi">10.2307/2215339</pub-id></mixed-citation></ref><ref id="CR14"><mixed-citation publication-type="other">Lewis, D. K. (1979b). Postscript to Lewis. In his <italic>Philosophical Papers</italic>, <italic>Vol. II</italic>. Oxford: OUP.</mixed-citation></ref><ref id="CR15"><mixed-citation publication-type="journal"><person-group person-group-type="author"><name><surname>Lewis</surname><given-names>DK</given-names></name></person-group><article-title xml:lang="en">Causal decision theory</article-title><source>Australasian Journal of Philosophy</source><year>1981</year><volume>59</volume><fpage>5</fpage><lpage>30</lpage><pub-id pub-id-type="doi">10.1080/00048408112340011</pub-id></mixed-citation></ref><ref id="CR17"><mixed-citation publication-type="other">Lewis, D. K. (1981b). Are we free to break the laws? <italic>Theoria, 47</italic>,113–121. Reprinted in his <italic>Philosophical Papers</italic>, <italic>Vol. II</italic>. Oxford: OUP 1986: 291–298.</mixed-citation></ref><ref id="CR500"><mixed-citation publication-type="other">Lewis, D. K. (1986). Postscripts to Lewis 1979. In D. K. Lewis (Ed.), <italic>Philosophical Papers</italic> (Vol. II, pp. 52–66).  Oxford: OUP.</mixed-citation></ref><ref id="CR18"><mixed-citation publication-type="journal"><person-group person-group-type="author"><name><surname>MacAskill</surname><given-names>W</given-names></name></person-group><article-title xml:lang="en">Smokers, psychos, and decision-theoretic uncertainty</article-title><source>Journal of Philosophy</source><year>2016</year><volume>123</volume><fpage>425</fpage><lpage>445</lpage><pub-id pub-id-type="doi">10.5840/jphil2016113929</pub-id></mixed-citation></ref><ref id="CR19"><mixed-citation publication-type="journal"><person-group person-group-type="author"><name><surname>McKay</surname><given-names>T</given-names></name><name><surname>Johnson</surname><given-names>D</given-names></name></person-group><article-title xml:lang="en">A reconsideration of an argument against compatibilism</article-title><source>Philosophical Topics</source><year>1996</year><volume>24</volume><fpage>113</fpage><lpage>122</lpage><pub-id pub-id-type="doi">10.5840/philtopics199624219</pub-id></mixed-citation></ref><ref id="CR20"><mixed-citation publication-type="journal"><person-group person-group-type="author"><name><surname>McKenna</surname><given-names>M</given-names></name></person-group><article-title xml:lang="en">Frankfurt’s argument against alternative possibilities: Looking beyond the examples</article-title><source>Noûs</source><year>2008</year><volume>42</volume><fpage>770</fpage><lpage>793</lpage><pub-id pub-id-type="doi">10.1111/j.1468-0068.2008.00701.x</pub-id></mixed-citation></ref><ref id="CR21"><mixed-citation publication-type="journal"><person-group person-group-type="author"><name><surname>Otsuka</surname><given-names>M</given-names></name></person-group><article-title xml:lang="en">Incompatibilism and the avoidability of blame</article-title><source>Ethics</source><year>1998</year><volume>108</volume><fpage>685</fpage><lpage>701</lpage><pub-id pub-id-type="doi">10.1086/233847</pub-id></mixed-citation></ref><ref id="CR22"><mixed-citation publication-type="journal"><person-group person-group-type="author"><name><surname>Pettit</surname><given-names>P</given-names></name></person-group><article-title xml:lang="en">Negative liberty, liberal and republican</article-title><source>European Journal of Philosophy</source><year>1993</year><volume>1</volume><fpage>15</fpage><lpage>38</lpage><pub-id pub-id-type="doi">10.1111/j.1468-0378.1993.tb00022.x</pub-id></mixed-citation></ref><ref id="CR23"><mixed-citation publication-type="book"><person-group person-group-type="author"><name><surname>Price</surname><given-names>H</given-names></name><name><surname>Liu</surname><given-names>Y</given-names></name></person-group><person-group person-group-type="editor"><name><surname>Ahmed</surname><given-names>A</given-names></name></person-group><article-title xml:lang="en">‘Click!’ bait for causalists</article-title><source>Newcomb’s problem</source><year>2018</year><publisher-loc>Cambridge</publisher-loc><publisher-name>CUP</publisher-name><fpage>160</fpage><lpage>179</lpage></mixed-citation></ref><ref id="CR24"><mixed-citation publication-type="book"><person-group person-group-type="author"><name><surname>Sartorio</surname><given-names>C</given-names></name></person-group><source>Causation and free will</source><year>2016</year><publisher-loc>Oxford</publisher-loc><publisher-name>OUP</publisher-name></mixed-citation></ref><ref id="CR25"><mixed-citation publication-type="book"><person-group person-group-type="author"><name><surname>Smith</surname><given-names>M</given-names></name></person-group><person-group person-group-type="editor"><name><surname>Smith</surname><given-names>M</given-names></name></person-group><article-title xml:lang="en">A theory of freedom and responsibility</article-title><source>Ethics and the a priori: Selected essays on moral psychology and meta-ethics</source><year>2004</year><publisher-loc>Cambridge</publisher-loc><publisher-name>CUP</publisher-name><fpage>84</fpage><lpage>113</lpage></mixed-citation></ref><ref id="CR26"><mixed-citation publication-type="journal"><person-group person-group-type="author"><name><surname>Soon</surname><given-names>CS</given-names></name><name><surname>Brass</surname><given-names>M</given-names></name><name><surname>Heinze</surname><given-names>H-J</given-names></name><name><surname>Haynes</surname><given-names>JD</given-names></name></person-group><article-title xml:lang="en">Unconscious determinants of free decisions in the human brain</article-title><source>Nature Neuroscience</source><year>2008</year><volume>11</volume><fpage>543</fpage><lpage>545</lpage><pub-id pub-id-type="doi">10.1038/nn.2112</pub-id></mixed-citation></ref><ref id="CR27"><mixed-citation publication-type="book"><person-group person-group-type="author"><name><surname>van Inwagen</surname><given-names>P</given-names></name></person-group><source>An essay on free will</source><year>1983</year><publisher-loc>Oxford</publisher-loc><publisher-name>Clarendon Press</publisher-name></mixed-citation></ref><ref id="CR28"><mixed-citation publication-type="journal"><person-group person-group-type="author"><name><surname>Vihvelin</surname><given-names>K</given-names></name></person-group><article-title xml:lang="en">Free will demystified: A dispositional account</article-title><source>Philosophical Topics</source><year>2004</year><volume>32</volume><fpage>427</fpage><lpage>450</lpage><pub-id pub-id-type="doi">10.5840/philtopics2004321/211</pub-id></mixed-citation></ref><ref id="CR29"><mixed-citation publication-type="journal"><person-group person-group-type="author"><name><surname>Wells</surname><given-names>I</given-names></name></person-group><article-title xml:lang="en">Equal opportunity and Newcomb’s problem</article-title><source>Mind</source><year>2017</year><pub-id pub-id-type="doi">10.1093/mind/fzx018</pub-id></mixed-citation></ref><ref id="CR30"><mixed-citation publication-type="journal"><person-group person-group-type="author"><name><surname>Whittle</surname><given-names>A</given-names></name></person-group><article-title xml:lang="en">Dispositional abilities</article-title><source>Philosophers’ Imprint</source><year>2010</year><volume>10</volume><fpage>1</fpage><lpage>23</lpage></mixed-citation></ref><ref id="CR31"><mixed-citation publication-type="journal"><person-group person-group-type="author"><name><surname>Widerker</surname><given-names>D</given-names></name></person-group><article-title xml:lang="en">Libertarianism and Frankfurt’s attack on the principle of alternate possibilities</article-title><source>Philosophical Review</source><year>1995</year><volume>104</volume><fpage>247</fpage><lpage>261</lpage><pub-id pub-id-type="doi">10.2307/2185979</pub-id></mixed-citation></ref><ref id="CR32"><mixed-citation publication-type="journal"><person-group person-group-type="author"><name><surname>Williams</surname><given-names>JRG</given-names></name></person-group><article-title xml:lang="en">Chances, counterfactuals and similarities</article-title><source>Philosophy and Phenomenological Research</source><year>2008</year><volume>77</volume><fpage>385</fpage><lpage>420</lpage><pub-id pub-id-type="doi">10.1111/j.1933-1592.2008.00196.x</pub-id></mixed-citation></ref></ref-list></ref-list><app-group><app id="App1"><sec id="Sec1"><title>Appendix</title><p id="Par111">This appendix argues formally for the claim in Section 5 that Jones has an opportunity to make $1 M in F4.</p><p id="Par112">I assume two schematic principles of the logic of opportunity ascriptions. For any proposition <inline-formula id="IEq72"><alternatives><mml:math><mml:mi>p</mml:mi></mml:math><tex-math id="IEq72_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$p$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq72.gif"/></alternatives></inline-formula>, write <inline-formula id="IEq73"><alternatives><mml:math><mml:mrow><mml:mi mathvariant="normal">∇</mml:mi><mml:mi>p</mml:mi></mml:mrow></mml:math><tex-math id="IEq73_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\nabla p$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq73.gif"/></alternatives></inline-formula> to mean that Jones has an opportunity to realize an outcome in which <inline-formula id="IEq74"><alternatives><mml:math><mml:mi>p</mml:mi></mml:math><tex-math id="IEq74_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$p$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq74.gif"/></alternatives></inline-formula> holds. Write <inline-formula id="IEq75"><alternatives><mml:math><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:mi>p</mml:mi><mml:msub><mml:mo>=</mml:mo><mml:mrow><mml:mtext>def</mml:mtext><mml:mo>.</mml:mo></mml:mrow></mml:msub><mml:mo>∼</mml:mo><mml:mi mathvariant="normal">∇</mml:mi><mml:mo>∼</mml:mo><mml:mi>p</mml:mi></mml:mrow></mml:math><tex-math id="IEq75_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\Delta p =_{{{\text{def}} .}} \sim \nabla \sim p$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq75.gif"/></alternatives></inline-formula> for its dual: <inline-formula id="IEq76"><alternatives><mml:math><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:mi>p</mml:mi></mml:mrow></mml:math><tex-math id="IEq76_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\Delta p$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq76.gif"/></alternatives></inline-formula> means that Jones <italic>lacks</italic> any opportunity to <italic>avoid</italic> an outcome in which <inline-formula id="IEq77"><alternatives><mml:math><mml:mi>p</mml:mi></mml:math><tex-math id="IEq77_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$p$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq77.gif"/></alternatives></inline-formula> holds. I’ll assume that any instances of the following schemata are true if <inline-formula id="IEq78"><alternatives><mml:math><mml:mi>t</mml:mi></mml:math><tex-math id="IEq78_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$t$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq78.gif"/></alternatives></inline-formula> is replaced by any tautology and <inline-formula id="IEq79"><alternatives><mml:math><mml:mi>p</mml:mi></mml:math><tex-math id="IEq79_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$p$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq79.gif"/></alternatives></inline-formula> and <inline-formula id="IEq80"><alternatives><mml:math><mml:mi>q</mml:mi></mml:math><tex-math id="IEq80_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$q$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq80.gif"/></alternatives></inline-formula> by any propositions.<disp-quote><p id="Par113">(7) <inline-formula id="IEq81"><alternatives><mml:math><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:mi>t</mml:mi></mml:mrow></mml:math><tex-math id="IEq81_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\Delta t$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq81.gif"/></alternatives></inline-formula></p><p id="Par114">(8) <inline-formula id="IEq82"><alternatives><mml:math><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mi>p</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mi>q</mml:mi></mml:mrow></mml:mfenced><mml:mo stretchy="false">→</mml:mo><mml:mfenced close=")" open="("><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:mi>p</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mi mathvariant="normal">Δ</mml:mi><mml:mi>q</mml:mi></mml:mrow></mml:mfenced></mml:mrow></mml:math><tex-math id="IEq82_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\Delta \left( {p \to q} \right) \to \left( {\Delta p \to \Delta q} \right)$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq82.gif"/></alternatives></inline-formula></p></disp-quote>These are theorems of the weakest modal logic <inline-formula id="IEq83"><alternatives><mml:math><mml:mi>K</mml:mi></mml:math><tex-math id="IEq83_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$K$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq83.gif"/></alternatives></inline-formula>.<xref ref-type="fn" rid="Fn29">29</xref> In English, (7) says that Jones cannot falsify a tautology and (8) says that if Jones cannot achieve <inline-formula id="IEq87"><alternatives><mml:math><mml:mi>p</mml:mi></mml:math><tex-math id="IEq87_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$p$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq87.gif"/></alternatives></inline-formula> without <inline-formula id="IEq88"><alternatives><mml:math><mml:mi>q</mml:mi></mml:math><tex-math id="IEq88_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$q$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq88.gif"/></alternatives></inline-formula>, and cannot avoid <inline-formula id="IEq89"><alternatives><mml:math><mml:mi>p</mml:mi></mml:math><tex-math id="IEq89_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$p$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq89.gif"/></alternatives></inline-formula>, then he cannot avoid <inline-formula id="IEq90"><alternatives><mml:math><mml:mi>q</mml:mi></mml:math><tex-math id="IEq90_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$q$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq90.gif"/></alternatives></inline-formula>.<xref ref-type="fn" rid="Fn30">30</xref></p><p id="Par124">Now if every instance of (7) and (8) is true then so is every instance of:<disp-quote><p id="Par125">(9) <inline-formula id="IEq136"><alternatives><mml:math><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mi>p</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mi>q</mml:mi></mml:mrow></mml:mfenced><mml:mo stretchy="false">→</mml:mo><mml:mfenced close=")" open="("><mml:mrow><mml:mi mathvariant="normal">∇</mml:mi><mml:mi>p</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mi mathvariant="normal">∇</mml:mi><mml:mi>q</mml:mi></mml:mrow></mml:mfenced></mml:mrow></mml:math><tex-math id="IEq136_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\Delta \left( {p \to q} \right) \to \left( {\nabla p \to \nabla q} \right)$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq136.gif"/></alternatives></inline-formula></p></disp-quote>This says that if Jones cannot achieve <inline-formula id="IEq137"><alternatives><mml:math><mml:mi>p</mml:mi></mml:math><tex-math id="IEq137_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$p$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq137.gif"/></alternatives></inline-formula> without <inline-formula id="IEq138"><alternatives><mml:math><mml:mi>q</mml:mi></mml:math><tex-math id="IEq138_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$q$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq138.gif"/></alternatives></inline-formula>, but <italic>can</italic> achieve <inline-formula id="IEq139"><alternatives><mml:math><mml:mi>p</mml:mi></mml:math><tex-math id="IEq139_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$p$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq139.gif"/></alternatives></inline-formula>, then he can achieve <inline-formula id="IEq140"><alternatives><mml:math><mml:mi>q</mml:mi></mml:math><tex-math id="IEq140_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$q$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq140.gif"/></alternatives></inline-formula>. Proof: any instance of <inline-formula id="IEq141"><alternatives><mml:math><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mfenced close=")" open="("><mml:mrow><mml:mi>p</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mi>q</mml:mi></mml:mrow></mml:mfenced><mml:mo stretchy="false">→</mml:mo><mml:mfenced close=")" open="("><mml:mrow><mml:mo>∼</mml:mo><mml:mi>q</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mo>∼</mml:mo><mml:mi>p</mml:mi></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced></mml:mrow></mml:math><tex-math id="IEq141_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\Delta \left( {\left( {p \to q} \right) \to \left( { \sim q \to \sim p} \right)} \right)$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq141.gif"/></alternatives></inline-formula> is an instance of (7). By an instance of (8), it follows that <inline-formula id="IEq142"><alternatives><mml:math><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mi>p</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mi>q</mml:mi></mml:mrow></mml:mfenced><mml:mo stretchy="false">→</mml:mo><mml:mi mathvariant="normal">Δ</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mo>∼</mml:mo><mml:mi>q</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mo>∼</mml:mo><mml:mi>p</mml:mi></mml:mrow></mml:mfenced></mml:mrow></mml:math><tex-math id="IEq142_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\Delta \left( {p \to q} \right) \to \Delta \left( { \sim q \to \sim p} \right)$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq142.gif"/></alternatives></inline-formula> and by another instance of (8) that <inline-formula id="IEq143"><alternatives><mml:math><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mi>p</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mi>q</mml:mi></mml:mrow></mml:mfenced><mml:mo stretchy="false">→</mml:mo><mml:mfenced close=")" open="("><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:mo>∼</mml:mo><mml:mi>q</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mi mathvariant="normal">Δ</mml:mi><mml:mo>∼</mml:mo><mml:mi>p</mml:mi></mml:mrow></mml:mfenced></mml:mrow></mml:math><tex-math id="IEq143_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\Delta \left( {p \to q} \right) \to \left( {\Delta \sim q \to \Delta \sim p} \right)$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq143.gif"/></alternatives></inline-formula>. The latter is logically equivalent to <inline-formula id="IEq144"><alternatives><mml:math><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mi>p</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mi>q</mml:mi></mml:mrow></mml:mfenced><mml:mo stretchy="false">→</mml:mo><mml:mfenced close=")" open="("><mml:mrow><mml:mo>∼</mml:mo><mml:mi mathvariant="normal">Δ</mml:mi><mml:mo>∼</mml:mo><mml:mi>p</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mo>∼</mml:mo><mml:mi mathvariant="normal">Δ</mml:mi><mml:mo>∼</mml:mo><mml:mi>q</mml:mi></mml:mrow></mml:mfenced></mml:mrow></mml:math><tex-math id="IEq144_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\Delta \left( {p \to q} \right) \to \left( { \sim \Delta \sim p \to \sim \Delta \sim q} \right)$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq144.gif"/></alternatives></inline-formula>. From this, it follows by the definition of <inline-formula id="IEq145"><alternatives><mml:math><mml:mi mathvariant="normal">Δ</mml:mi></mml:math><tex-math id="IEq145_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\Delta$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq145.gif"/></alternatives></inline-formula> and the interchange of logical equivalents licensed by (7) and (8) that <inline-formula id="IEq146"><alternatives><mml:math><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mi>p</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mi>q</mml:mi></mml:mrow></mml:mfenced><mml:mo stretchy="false">→</mml:mo><mml:mfenced close=")" open="("><mml:mrow><mml:mi mathvariant="normal">∇</mml:mi><mml:mi>p</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mi mathvariant="normal">∇</mml:mi><mml:mi>q</mml:mi></mml:mrow></mml:mfenced></mml:mrow></mml:math><tex-math id="IEq146_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\Delta \left( {p \to q} \right) \to \left( {\nabla p \to \nabla q} \right)$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq146.gif"/></alternatives></inline-formula>.</p><p id="Par126">(5) and (6) say respectively that Jones cannot press ‘M’ without getting $1 M and that he can press ‘M’. In formal terms, and writing <inline-formula id="IEq147"><alternatives><mml:math><mml:mi>m</mml:mi></mml:math><tex-math id="IEq147_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$m$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq147.gif"/></alternatives></inline-formula> for the proposition that Jones gets $1 M:<disp-quote><p id="Par127">(10) <inline-formula id="IEq148"><alternatives><mml:math><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi>o</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo stretchy="false">→</mml:mo><mml:mi>m</mml:mi></mml:mrow></mml:mfenced></mml:mrow></mml:math><tex-math id="IEq148_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\Delta \left( {o_{1} \to m} \right)$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq148.gif"/></alternatives></inline-formula></p><p id="Par128">(11) <inline-formula id="IEq149"><alternatives><mml:math><mml:mrow><mml:mi mathvariant="normal">∇</mml:mi><mml:msub><mml:mi>o</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:mrow></mml:math><tex-math id="IEq149_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\nabla o_{1}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq149.gif"/></alternatives></inline-formula></p></disp-quote>But it follows from an instance of (9) together with (10) and (11) that <inline-formula id="IEq150"><alternatives><mml:math><mml:mrow><mml:mi mathvariant="normal">∇</mml:mi><mml:mi>m</mml:mi></mml:mrow></mml:math><tex-math id="IEq150_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\nabla m$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq150.gif"/></alternatives></inline-formula> i.e. Jones <italic>does</italic> have an opportunity to make $1 M.</p></sec></app></app-group><fn-group><fn id="Fn1"><label>1</label><p id="Par3">More formally (though still simplifying): let the probability function <inline-formula id="IEq1"><alternatives><mml:math><mml:mrow><mml:mi mathvariant="italic">Cr</mml:mi></mml:mrow></mml:math><tex-math id="IEq1_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$Cr$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq1.gif"/></alternatives></inline-formula> and the news-value function <inline-formula id="IEq2"><alternatives><mml:math><mml:mi>V</mml:mi></mml:math><tex-math id="IEq2_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$V$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq2.gif"/></alternatives></inline-formula> respectively represent the agent’s credence (degree of belief) in, and desirability for, an arbitrary proposition, propositions being subsets of the set <inline-formula id="IEq3"><alternatives><mml:math><mml:mi>W</mml:mi></mml:math><tex-math id="IEq3_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$W$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq3.gif"/></alternatives></inline-formula> of possible worlds. Let <inline-formula id="IEq4"><alternatives><mml:math><mml:mrow><mml:mi>O</mml:mi><mml:mo>=</mml:mo><mml:mfenced close="}" open="{"><mml:mrow><mml:msub><mml:mi>o</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>…</mml:mo><mml:msub><mml:mi>o</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:math><tex-math id="IEq4_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$O = \left\{ {o_{1} \ldots o_{n} } \right\}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq4.gif"/></alternatives></inline-formula> partition <inline-formula id="IEq5"><alternatives><mml:math><mml:mi>W</mml:mi></mml:math><tex-math id="IEq5_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$W$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq5.gif"/></alternatives></inline-formula> into propositions describing the agent’s options, and let <inline-formula id="IEq6"><alternatives><mml:math><mml:mrow><mml:mi>Z</mml:mi><mml:mo>=</mml:mo><mml:mfenced close="}" open="{"><mml:mrow><mml:msub><mml:mi>z</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>…</mml:mo><mml:msub><mml:mi>z</mml:mi><mml:mi>m</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:math><tex-math id="IEq6_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$Z = \left\{ {z_{1} \ldots z_{m} } \right\}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq6.gif"/></alternatives></inline-formula> partition <inline-formula id="IEq7"><alternatives><mml:math><mml:mi>W</mml:mi></mml:math><tex-math id="IEq7_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$W$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq7.gif"/></alternatives></inline-formula> into propositions that each specify the outcome in as much detail as concerns the agent. Let some counterfactual-like operator ‘<inline-formula id="IEq8"><alternatives><mml:math><mml:mo>&gt;</mml:mo></mml:math><tex-math id="IEq8_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$&gt;$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq8.gif"/></alternatives></inline-formula>’ reflect causal dependence: <inline-formula id="IEq9"><alternatives><mml:math><mml:mrow><mml:msub><mml:mi>o</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&gt;</mml:mo><mml:msub><mml:mi>z</mml:mi><mml:mi>j</mml:mi></mml:msub></mml:mrow></mml:math><tex-math id="IEq9_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o_{i} &gt; z_{j}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq9.gif"/></alternatives></inline-formula> says that if the agent were to realize <inline-formula id="IEq10"><alternatives><mml:math><mml:msub><mml:mi>o</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math><tex-math id="IEq10_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o_{i}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq10.gif"/></alternatives></inline-formula> then the outcome would be <inline-formula id="IEq11"><alternatives><mml:math><mml:msub><mml:mi>z</mml:mi><mml:mi>j</mml:mi></mml:msub></mml:math><tex-math id="IEq11_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$z_{j}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq11.gif"/></alternatives></inline-formula>. CDT says that the rational agent maximizes <inline-formula id="IEq12"><alternatives><mml:math><mml:mi>U</mml:mi></mml:math><tex-math id="IEq12_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$U$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq12.gif"/></alternatives></inline-formula>, and EDT says that the rational agent maximizes <inline-formula id="IEq13"><alternatives><mml:math><mml:mi>V</mml:mi></mml:math><tex-math id="IEq13_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$V$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq13.gif"/></alternatives></inline-formula>, where the <inline-formula id="IEq14"><alternatives><mml:math><mml:mi>U</mml:mi></mml:math><tex-math id="IEq14_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$U$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq14.gif"/></alternatives></inline-formula> - and <inline-formula id="IEq15"><alternatives><mml:math><mml:mi>V</mml:mi></mml:math><tex-math id="IEq15_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$V$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq15.gif"/></alternatives></inline-formula> -scores of an option <inline-formula id="IEq16"><alternatives><mml:math><mml:mrow><mml:mi>o</mml:mi><mml:mo>∈</mml:mo><mml:mi>O</mml:mi></mml:mrow></mml:math><tex-math id="IEq16_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o \in O$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq16.gif"/></alternatives></inline-formula> are <inline-formula id="IEq17"><alternatives><mml:math><mml:mrow><mml:mi>U</mml:mi><mml:mfenced close=")" open="("><mml:mi>o</mml:mi></mml:mfenced><mml:mo>=</mml:mo><mml:munder><mml:mo movablelimits="false">∑</mml:mo><mml:mrow><mml:mi>z</mml:mi><mml:mo>∈</mml:mo><mml:mi>Z</mml:mi></mml:mrow></mml:munder><mml:mi>V</mml:mi><mml:mfenced close=")" open="("><mml:mi>z</mml:mi></mml:mfenced><mml:mi>C</mml:mi><mml:mi>r</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mi>o</mml:mi><mml:mo>&gt;</mml:mo><mml:mi>z</mml:mi></mml:mrow></mml:mfenced></mml:mrow></mml:math><tex-math id="IEq17_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$U\left( o \right) = \mathop \sum \limits_{z \in Z} V\left( z \right)Cr\left( {o &gt; z} \right)$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq17.gif"/></alternatives></inline-formula> and <inline-formula id="IEq18"><alternatives><mml:math><mml:mrow><mml:mi>V</mml:mi><mml:mfenced close=")" open="("><mml:mi>o</mml:mi></mml:mfenced><mml:mo>=</mml:mo><mml:munder><mml:mo movablelimits="false">∑</mml:mo><mml:mrow><mml:mi>z</mml:mi><mml:mo>∈</mml:mo><mml:mi>Z</mml:mi></mml:mrow></mml:munder><mml:mi>V</mml:mi><mml:mfenced close=")" open="("><mml:mi>z</mml:mi></mml:mfenced><mml:mi>C</mml:mi><mml:mi>r</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mi>z</mml:mi><mml:mo stretchy="false">|</mml:mo><mml:mi>o</mml:mi></mml:mrow></mml:mfenced></mml:mrow></mml:math><tex-math id="IEq18_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$V\left( o \right) = \mathop \sum \limits_{z \in Z} V\left( z \right)Cr\left( {z |o} \right)$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq18.gif"/></alternatives></inline-formula> respectively. For more sophisticated accounts see e.g. (Lewis <xref ref-type="bibr" rid="CR15">1981a</xref>; Joyce <xref ref-type="bibr" rid="CR11">1999</xref> ch. 4, 5).</p></fn><fn id="Fn2"><label>2</label><p id="Par8">E.g. (Joyce <xref ref-type="bibr" rid="CR11">1999</xref>: 153; Wells <xref ref-type="bibr" rid="CR29">2017</xref>: 5).</p></fn><fn id="Fn3"><label>3</label><p id="Par14">Frankfurt (<xref ref-type="bibr" rid="CR5">1969</xref>): 167.</p></fn><fn id="Fn4"><label>4</label><p id="Par17">Frankfurt (<xref ref-type="bibr" rid="CR5">1969</xref>): 173–4.</p></fn><fn id="Fn5"><label>5</label><p id="Par19">McKenna (<xref ref-type="bibr" rid="CR20">2008</xref>): 774.</p></fn><fn id="Fn6"><label>6</label><p id="Par20">Otsuka (<xref ref-type="bibr" rid="CR21">1998</xref>).</p></fn><fn id="Fn7"><label>7</label><p id="Par23">Fischer (<xref ref-type="bibr" rid="CR4">2010</xref>): 316. For another ‘prior sign’ case see e.g. (Sartorio <xref ref-type="bibr" rid="CR24">2016</xref>: 13).</p></fn><fn id="Fn8"><label>8</label><p id="Par24">Black’s oversight of a necessary but not sufficient condition is typical of Frankfurt cases. See (Levy <xref ref-type="bibr" rid="CR12">2008</xref>: 225).</p></fn><fn id="Fn9"><label>9</label><p id="Par30">Dennett (<xref ref-type="bibr" rid="CR1">2015</xref>): 129.</p></fn><fn id="Fn10"><label>10</label><p id="Par34">Incompatibilists will say that if determinism is true then (2) fails: nobody ever has an opportunity to do otherwise. But none of the cases that I discuss require determinism: see Section 7.</p></fn><fn id="Fn11"><label>11</label><p id="Par54">EDT strictly prefers pressing ‘M’ iff <inline-formula id="IEq33"><alternatives><mml:math><mml:mrow><mml:mi>m</mml:mi><mml:mo>&gt;</mml:mo><mml:mi>k</mml:mi><mml:mo>+</mml:mo><mml:mi>m</mml:mi><mml:mi>C</mml:mi><mml:mi>r</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:msub><mml:mi>O</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:math><tex-math id="IEq33_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$m &gt; k + mCr\left( {S_{1} |O_{2} } \right)$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq33.gif"/></alternatives></inline-formula> i.e. iff <inline-formula id="IEq34"><alternatives><mml:math><mml:mrow><mml:mi>C</mml:mi><mml:mi>r</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:msub><mml:mi>O</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:mrow></mml:mfenced><mml:mo>&lt;</mml:mo><mml:mn>0.999</mml:mn></mml:mrow></mml:math><tex-math id="IEq34_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$Cr\left( {S_{1} |O_{2} } \right) &lt; 0.999$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq34.gif"/></alternatives></inline-formula>.</p></fn><fn id="Fn12"><label>12</label><p id="Par62">Cf. Widerker (<xref ref-type="bibr" rid="CR31">1995</xref>): 251.</p></fn><fn id="Fn13"><label>13</label><p id="Par64">Dennett (<xref ref-type="bibr" rid="CR1">2015</xref>): 144–5. Here Dennett is discussing the original type of Frankfurt case, where Black stands ready to manipulate Jones after observing Jones’s choice. But there is reason to think he would say the same about the ‘prior sign’ cases under discussion here: see especially p. 129 as quoted in §2.</p></fn><fn id="Fn14"><label>14</label><p id="Par66">Dennett (<xref ref-type="bibr" rid="CR1">2015</xref>): 129.</p></fn><fn id="Fn15"><label>15</label><p id="Par68">Cf. Hunt (<xref ref-type="bibr" rid="CR9">2005</xref>): 135.</p></fn><fn id="Fn16"><label>16</label><p id="Par73">Hume’s famous example is another case where we regard an opportunity as having been foreclosed without regarding its realization as <italic>physically</italic> impossible. ‘A prisoner who has neither money nor interest, discovers the impossibility of his escape, as well when he considers the obstinacy of the gaoler, as the walls and bars with which he is surrounded; and, in all attempts for his freedom, chooses rather to work upon the stone and iron of the one, than upon the inflexible nature of the other’ (Hume <xref ref-type="bibr" rid="CR8">1975</xref>: 90).</p></fn><fn id="Fn17"><label>17</label><p id="Par76">A <italic>non-back-tracking</italic> conditional <inline-formula id="IEq41"><alternatives><mml:math><mml:mo>&gt;</mml:mo></mml:math><tex-math id="IEq41_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$&gt;$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq41.gif"/></alternatives></inline-formula> is true iff all the closest worlds at which <inline-formula id="IEq42"><alternatives><mml:math><mml:mi>a</mml:mi></mml:math><tex-math id="IEq42_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$a$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq42.gif"/></alternatives></inline-formula> is true (the closest ‘<inline-formula id="IEq43"><alternatives><mml:math><mml:mi>a</mml:mi></mml:math><tex-math id="IEq43_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$a$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq43.gif"/></alternatives></inline-formula>-worlds’) are <inline-formula id="IEq44"><alternatives><mml:math><mml:mi>b</mml:mi></mml:math><tex-math id="IEq44_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$b$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq44.gif"/></alternatives></inline-formula>-worlds, where the closest <inline-formula id="IEq45"><alternatives><mml:math><mml:mi>a</mml:mi></mml:math><tex-math id="IEq45_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$a$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq45.gif"/></alternatives></inline-formula>-worlds (i) match actuality over all particular matters of fact that are causally independent of whether <inline-formula id="IEq46"><alternatives><mml:math><mml:mi>a</mml:mi></mml:math><tex-math id="IEq46_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$a$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq46.gif"/></alternatives></inline-formula> is true; and (ii) contain no violations of the actual laws except possibly for a small, local miracle that shortly precedes and also brings about the realization of <inline-formula id="IEq47"><alternatives><mml:math><mml:mi>a</mml:mi></mml:math><tex-math id="IEq47_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$a$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq47.gif"/></alternatives></inline-formula>.</p></fn><fn id="Fn18"><label>18</label><p id="Par79">Soon et al. (<xref ref-type="bibr" rid="CR26">2008</xref>): 543.</p></fn><fn id="Fn19"><label>19</label><p id="Par81">Soon et al. (<xref ref-type="bibr" rid="CR26">2008</xref>): 544.</p></fn><fn id="Fn20"><label>20</label><p id="Par82">The $1 M reward would not be immediate: given current constraints, the time required to determine that activity in BA10 was symptomatic of impending left-button-pressing exceeds the time-lapse between that activity and the subject’s choice. But it is still a Newcomb case. Even if the reward is subsequent to the choice it is still causally independent of the choice, because it depends only on activity that strictly preceded the choice.</p></fn><fn id="Fn21"><label>21</label><p id="Par92">For present purposes I treat an <italic>option</italic> as a proposition that the agent can make true if she pleases (Jeffrey <xref ref-type="bibr" rid="CR10">1983</xref>: 84), i.e. one that would be true if the agent were to choose to make it true, where this counterfactual has a non-back-tracking sense. One problem with this proposal as a general definition is that a proposition’s being an option in this sense is neither necessary nor sufficient for the agent to have the <italic>ability</italic> to realize it, since abilities are dispositions that can be masked or finked through external interference (Vihvelin <xref ref-type="bibr" rid="CR28">2004</xref>: 437 ff.). But that makes no difference to the cases under consideration, where Black does not, and is not disposed to, interfere with the causal connection between Jones’s choice and any of his options.</p></fn><fn id="Fn22"><label>22</label><p id="Par95">For present purposes, this analysis of the non-backtracking counterfactual is equivalent to Lewis’s (<xref ref-type="bibr" rid="CR13">1979a</xref>, <xref ref-type="bibr" rid="CR14">b</xref>) theory, though like Edgington’s improvement upon it (Edgington <xref ref-type="bibr" rid="CR2">2004</xref>), it relies explicitly on the notion of causal independence. The analysis implies that we have a very wide range of counterfactual opportunities. For instance (and as Lewis notes), if determinism is true then we have abundant C-opportunities to realize the truth of the proposition that a law of nature is broken (Lewis <xref ref-type="bibr" rid="CR17">1981b</xref>).</p></fn><fn id="Fn23"><label>23</label><p id="Par98">Supposing that Jones has an option of waiting doesn’t change this: it is not true that if he had waited then his brain-state would at some later point instantiated N* (see Section 8—although perhaps if he had waited then his brain-state <italic>might</italic> have instantiated N*: that is, if <inline-formula id="IEq68"><alternatives><mml:math><mml:msub><mml:mi>o</mml:mi><mml:mn>3</mml:mn></mml:msub></mml:math><tex-math id="IEq68_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o_{3}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq68.gif"/></alternatives></inline-formula> is the proposition that he waits at the time that he actually chooses to press ‘O’, and <inline-formula id="IEq69"><alternatives><mml:math><mml:msup><mml:mi>n</mml:mi><mml:mrow><mml:mrow/><mml:mo>∗</mml:mo></mml:mrow></mml:msup></mml:math><tex-math id="IEq69_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$n^{*}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq69.gif"/></alternatives></inline-formula> is the proposition that his brain-state instantiates N* at some later time, then perhaps <inline-formula id="IEq70"><alternatives><mml:math><mml:mrow><mml:mo>∼</mml:mo><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi>o</mml:mi><mml:mn>3</mml:mn></mml:msub><mml:mo>&gt;</mml:mo><mml:mo>∼</mml:mo><mml:msup><mml:mi>n</mml:mi><mml:mrow><mml:mrow/><mml:mo>∗</mml:mo></mml:mrow></mml:msup></mml:mrow></mml:mfenced></mml:mrow></mml:math><tex-math id="IEq70_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\sim\left( {o_{3} &gt; \sim n^{*} } \right)$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq70.gif"/></alternatives></inline-formula>.) So neither is it true that if he had waited then he would have had a C-opportunity to make $1 M. Besides, if Jones <italic>did</italic> have a C-opportunity to make $1 M in F4 then that only helps WAR.</p></fn><fn id="Fn24"><label>24</label><p id="Par101">Cf. Smith (<xref ref-type="bibr" rid="CR25">2004</xref>): 100 ff. For illuminating further discussion, see (Whittle <xref ref-type="bibr" rid="CR30">2010</xref>: 12 ff).</p></fn><fn id="Fn25"><label>25</label><p id="Par102">Another reason to care about the difference, between C-opportunities and those being denied in Frankfurt cases, arises from Pettit’s distinction between Liberal and Republican concepts of negative liberty. I am free in the Liberal sense to the extent that others don’t interfere with me. I am free in the Republican sense to the extent that this non-interference is <italic>resilient</italic> i.e. not down to the whim of any non-interfering other—she <italic>could</italic> not have interfered had she so chosen (Pettit <xref ref-type="bibr" rid="CR22">1993</xref>: 24–8). For instance, suppose I live in a state where it is common knowledge that all crimes are detected and severely punished; but my neighbour owns a gun. This state is depriving my neighbour of a ‘Frankfurtian’ opportunity to shoot me. After all, one necessary condition of my neighbour’s shooting me is that he <italic>chooses</italic> to shoot me, and the state is preventing him from choosing to shoot me by maintaining and advertising its forensic and penal capacities. But it isn’t depriving him of a C-opportunity to shoot me, because <italic>nothing</italic> is preventing him from shooting me <italic>if he chooses</italic>. This state preserves my freedom in the Liberal sense but not in the Republican sense.</p></fn><fn id="Fn26"><label>26</label><p id="Par104">One way to cash out the distinction is in terms of the interpretation of counterfactuals. If, in the definition of C-opportunity, we read the counterfactual in (i) as non-backtracking, we get the intended reading. But if we read it as suitably backtracking, in the manner of Horgan (<xref ref-type="bibr" rid="CR7">1981</xref>), we may get a parallel notion of F-opportunity. For a recent discussion connecting the EDT/CDT dispute and the interpretation of counterfactuals, see (Price and Liu <xref ref-type="bibr" rid="CR23">2018</xref> §2.3). (Of course the conditional that the main part of this essay defends is true on a <italic>uniform</italic> application of either interpretation).</p></fn><fn id="Fn27"><label>27</label><p id="Par106">It might matter, for instance, that in the standard Frankfurt case Jones doesn’t <italic>know</italic> that he lacks a C-opportunity to do otherwise, whereas in the Newcomb Problem he may know that he lacks a C-opportunity to make $1 M. But if the predictor is imperfect (but still very good) in the Newcomb Problem then he <italic>doesn’t</italic> know this; nor does he know it if he hasn’t yet decided what to do. Obviously the matter invites further investigation.</p></fn><fn id="Fn28"><label>28</label><p id="Par109">MacAskill (<xref ref-type="bibr" rid="CR18">2016</xref>): 429.</p></fn><fn id="Fn29"><label>29</label><p id="Par115">The axioms of <inline-formula id="IEq84"><alternatives><mml:math><mml:mi>K</mml:mi></mml:math><tex-math id="IEq84_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$K$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq84.gif"/></alternatives></inline-formula> are (a) all tautologies (b) every instance of (8). The rules are <italic>modus ponens</italic> and necessitation: if <inline-formula id="IEq85"><alternatives><mml:math><mml:mi>p</mml:mi></mml:math><tex-math id="IEq85_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$p$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq85.gif"/></alternatives></inline-formula> is a theorem then so is <inline-formula id="IEq86"><alternatives><mml:math><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:mi>p</mml:mi></mml:mrow></mml:math><tex-math id="IEq86_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\Delta p$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq86.gif"/></alternatives></inline-formula>.</p></fn><fn id="Fn30"><label>30</label><p id="Par116">(8) resembles van Inwagen’s beta, which says that from <inline-formula id="IEq91"><alternatives><mml:math><mml:mrow><mml:mrow><mml:mi mathvariant="bold-italic">N</mml:mi></mml:mrow><mml:mi>p</mml:mi></mml:mrow></mml:math><tex-math id="IEq91_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\varvec{N}p$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq91.gif"/></alternatives></inline-formula> and <inline-formula id="IEq92"><alternatives><mml:math><mml:mrow><mml:mrow><mml:mi mathvariant="bold-italic">N</mml:mi></mml:mrow><mml:mfenced close=")" open="("><mml:mrow><mml:mi>p</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mi>q</mml:mi></mml:mrow></mml:mfenced></mml:mrow></mml:math><tex-math id="IEq92_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\varvec{N}\left( {p \to q} \right)$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq92.gif"/></alternatives></inline-formula> we may infer <inline-formula id="IEq93"><alternatives><mml:math><mml:mrow><mml:mrow><mml:mi mathvariant="bold-italic">N</mml:mi></mml:mrow><mml:mi>q</mml:mi></mml:mrow></mml:math><tex-math id="IEq93_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\varvec{N}q$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq93.gif"/></alternatives></inline-formula>, where <inline-formula id="IEq94"><alternatives><mml:math><mml:mrow><mml:mrow><mml:mi mathvariant="bold-italic">N</mml:mi></mml:mrow><mml:mi>p</mml:mi></mml:mrow></mml:math><tex-math id="IEq94_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\varvec{N}p$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq94.gif"/></alternatives></inline-formula> says that <inline-formula id="IEq95"><alternatives><mml:math><mml:mi>p</mml:mi></mml:math><tex-math id="IEq95_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$p$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq95.gif"/></alternatives></inline-formula> is true and nobody had any choice about it (van Inwagen <xref ref-type="bibr" rid="CR27">1983</xref>: 94). One objection to beta is that it entails <italic>agglomeration</italic>: <inline-formula id="IEq96"><alternatives><mml:math><mml:mrow><mml:mfenced close=")" open="("><mml:mrow><mml:mrow><mml:mi mathvariant="bold-italic">N</mml:mi></mml:mrow><mml:mi>p</mml:mi><mml:mo>&amp;</mml:mo><mml:mrow><mml:mi mathvariant="bold-italic">N</mml:mi></mml:mrow><mml:mi>q</mml:mi></mml:mrow></mml:mfenced><mml:mo stretchy="false">→</mml:mo><mml:mrow><mml:mi mathvariant="bold-italic">N</mml:mi></mml:mrow><mml:mfenced close=")" open="("><mml:mrow><mml:mi>p</mml:mi><mml:mo>&amp;</mml:mo><mml:mi>q</mml:mi></mml:mrow></mml:mfenced></mml:mrow></mml:math><tex-math id="IEq96_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\left( {\varvec{N}p \&amp; \varvec{N}q} \right) \to \varvec{N}\left( {p \&amp; q} \right)$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq96.gif"/></alternatives></inline-formula>, which is false. For a counterexample (McKay and Johnson <xref ref-type="bibr" rid="CR19">1996</xref>: 115-6), suppose this coin was not tossed, so (<inline-formula id="IEq97"><alternatives><mml:math><mml:mi>p</mml:mi></mml:math><tex-math id="IEq97_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$p$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq97.gif"/></alternatives></inline-formula>) it didn’t land heads and (<inline-formula id="IEq98"><alternatives><mml:math><mml:mi>q</mml:mi></mml:math><tex-math id="IEq98_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$q$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq98.gif"/></alternatives></inline-formula>) it didn’t land tails. Nobody had a choice about whether it landed heads or about whether it landed tails, so <inline-formula id="IEq99"><alternatives><mml:math><mml:mrow><mml:mrow><mml:mi mathvariant="bold-italic">N</mml:mi></mml:mrow><mml:mi>p</mml:mi><mml:mo>&amp;</mml:mo><mml:mrow><mml:mi mathvariant="bold-italic">N</mml:mi></mml:mrow><mml:mi>q</mml:mi></mml:mrow></mml:math><tex-math id="IEq99_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\varvec{N}p \&amp; \varvec{N}q$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq99.gif"/></alternatives></inline-formula>, but somebody <italic>did</italic> have a choice about whether it was tossed, so <inline-formula id="IEq100"><alternatives><mml:math><mml:mrow><mml:mo>∼</mml:mo><mml:mrow><mml:mi mathvariant="bold-italic">N</mml:mi></mml:mrow><mml:mfenced close=")" open="("><mml:mrow><mml:mi>p</mml:mi><mml:mo>&amp;</mml:mo><mml:mi>q</mml:mi></mml:mrow></mml:mfenced></mml:mrow></mml:math><tex-math id="IEq100_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\sim \varvec{N}\left( {p \&amp; q} \right)$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq100.gif"/></alternatives></inline-formula>.</p><p id="Par117">Could one similarly object to (8)? No: although (8) implies an agglomeration principle <inline-formula id="IEq101"><alternatives><mml:math><mml:mrow><mml:mfenced close=")" open="("><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:mi>p</mml:mi><mml:mo>&amp;</mml:mo><mml:mi mathvariant="normal">Δ</mml:mi><mml:mi>q</mml:mi></mml:mrow></mml:mfenced><mml:mo stretchy="false">→</mml:mo><mml:mi mathvariant="normal">Δ</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mi>p</mml:mi><mml:mo>&amp;</mml:mo><mml:mi>q</mml:mi></mml:mrow></mml:mfenced></mml:mrow></mml:math><tex-math id="IEq101_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\left( {\Delta p \&amp; \Delta q} \right) \to \Delta \left( {p \&amp; q} \right)$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq101.gif"/></alternatives></inline-formula>, the counterexample is less telling. Consider a coin that Jones did not toss but might have tossed. It seems that Jones had an opportunity to achieve an outcome in which it landed heads, and so an outcome in which <inline-formula id="IEq102"><alternatives><mml:math><mml:mi>p</mml:mi></mml:math><tex-math id="IEq102_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$p$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq102.gif"/></alternatives></inline-formula> fails, just as anyone who can buy a ticket in a fair lottery has an opportunity to win it. So <inline-formula id="IEq103"><alternatives><mml:math><mml:mrow><mml:mfenced close=")" open="("><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:mi>p</mml:mi><mml:mo>&amp;</mml:mo><mml:mi mathvariant="normal">Δ</mml:mi><mml:mi>q</mml:mi></mml:mrow></mml:mfenced><mml:mo stretchy="false">→</mml:mo><mml:mi mathvariant="normal">Δ</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mi>p</mml:mi><mml:mo>&amp;</mml:mo><mml:mi>q</mml:mi></mml:mrow></mml:mfenced></mml:mrow></mml:math><tex-math id="IEq103_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\left( {\Delta p \&amp; \Delta q} \right) \to \Delta \left( {p \&amp; q} \right)$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq103.gif"/></alternatives></inline-formula> is true because its antecedent is false.</p><p id="Par118">More generally, it seems plausible that for <italic>some</italic> closeness relation <inline-formula id="IEq104"><alternatives><mml:math><mml:mi>m</mml:mi></mml:math><tex-math id="IEq104_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$m$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq104.gif"/></alternatives></inline-formula> on possible worlds, we have: <inline-formula id="IEq105"><alternatives><mml:math><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:mi>q</mml:mi><mml:mo stretchy="false">↔</mml:mo><mml:mo>∀</mml:mo><mml:mi>p</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mi mathvariant="normal">∇</mml:mi><mml:mi>p</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mfenced close=")" open="("><mml:mrow><mml:mi>p</mml:mi><mml:msub><mml:mo>&gt;</mml:mo><mml:mi>m</mml:mi></mml:msub><mml:mi>q</mml:mi></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced></mml:mrow></mml:math><tex-math id="IEq105_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\Delta q \leftrightarrow \forall p\left( {\nabla p \to \left( {p &gt;_{m} q} \right)} \right)$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq105.gif"/></alternatives></inline-formula>, where ‘<inline-formula id="IEq106"><alternatives><mml:math><mml:mrow><mml:mi>p</mml:mi><mml:mo>&gt;</mml:mo><mml:mi>q</mml:mi></mml:mrow></mml:math><tex-math id="IEq106_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$p &gt; q$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq106.gif"/></alternatives></inline-formula>’ is true if and only some <inline-formula id="IEq107"><alternatives><mml:math><mml:mfenced close=")" open="("><mml:mrow><mml:mi>p</mml:mi><mml:mo>&amp;</mml:mo><mml:mi>q</mml:mi></mml:mrow></mml:mfenced></mml:math><tex-math id="IEq107_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\left( {p\&amp; q} \right)$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq107.gif"/></alternatives></inline-formula> world is <inline-formula id="IEq108"><alternatives><mml:math><mml:mi>m</mml:mi></mml:math><tex-math id="IEq108_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$m$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq108.gif"/></alternatives></inline-formula>-closer to actuality than any <inline-formula id="IEq109"><alternatives><mml:math><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>p</mml:mi><mml:mo>&amp;</mml:mo><mml:mo>∼</mml:mo><mml:mi>q</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:mrow></mml:math><tex-math id="IEq109_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$(p\&amp; \sim q)$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq109.gif"/></alternatives></inline-formula>-world: that is, <inline-formula id="IEq110"><alternatives><mml:math><mml:mi>p</mml:mi></mml:math><tex-math id="IEq110_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$p$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq110.gif"/></alternatives></inline-formula> is inevitable for Jones iff it would be true <italic>whichever</italic> of his opportunities he were to realize. Then whatever the <inline-formula id="IEq111"><alternatives><mml:math><mml:mi>m</mml:mi></mml:math><tex-math id="IEq111_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$m$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq111.gif"/></alternatives></inline-formula> turns out to be, (8) is also true. Informal proof: for any <inline-formula id="IEq112"><alternatives><mml:math><mml:mi>m</mml:mi></mml:math><tex-math id="IEq112_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$m$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq112.gif"/></alternatives></inline-formula>, if <inline-formula id="IEq113"><alternatives><mml:math><mml:mrow><mml:mi>p</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mi>q</mml:mi></mml:mrow></mml:math><tex-math id="IEq113_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$p \to q$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq113.gif"/></alternatives></inline-formula> is true at all <inline-formula id="IEq114"><alternatives><mml:math><mml:mi>m</mml:mi></mml:math><tex-math id="IEq114_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$m$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq114.gif"/></alternatives></inline-formula>-closest <inline-formula id="IEq115"><alternatives><mml:math><mml:mi>o</mml:mi></mml:math><tex-math id="IEq115_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq115.gif"/></alternatives></inline-formula>-worlds for any opportunity <inline-formula id="IEq116"><alternatives><mml:math><mml:mi>o</mml:mi></mml:math><tex-math id="IEq116_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq116.gif"/></alternatives></inline-formula>, and if <inline-formula id="IEq117"><alternatives><mml:math><mml:mi>p</mml:mi></mml:math><tex-math id="IEq117_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$p$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq117.gif"/></alternatives></inline-formula> is true at all <inline-formula id="IEq118"><alternatives><mml:math><mml:mi>m</mml:mi></mml:math><tex-math id="IEq118_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$m$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq118.gif"/></alternatives></inline-formula>-closest <inline-formula id="IEq119"><alternatives><mml:math><mml:mi>o</mml:mi></mml:math><tex-math id="IEq119_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq119.gif"/></alternatives></inline-formula>-worlds for any opportunity <inline-formula id="IEq120"><alternatives><mml:math><mml:mi>o</mml:mi></mml:math><tex-math id="IEq120_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq120.gif"/></alternatives></inline-formula>, then <inline-formula id="IEq121"><alternatives><mml:math><mml:mi>q</mml:mi></mml:math><tex-math id="IEq121_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$q$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq121.gif"/></alternatives></inline-formula> is true at all <inline-formula id="IEq122"><alternatives><mml:math><mml:mi>m</mml:mi></mml:math><tex-math id="IEq122_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$m$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq122.gif"/></alternatives></inline-formula>-closest <inline-formula id="IEq123"><alternatives><mml:math><mml:mi>o</mml:mi></mml:math><tex-math id="IEq123_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq123.gif"/></alternatives></inline-formula>-worlds for any opportunity <inline-formula id="IEq124"><alternatives><mml:math><mml:mi>o</mml:mi></mml:math><tex-math id="IEq124_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$o$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq124.gif"/></alternatives></inline-formula>. The analogous principle for <inline-formula id="IEq125"><alternatives><mml:math><mml:mrow><mml:mi mathvariant="bold-italic">N</mml:mi></mml:mrow></mml:math><tex-math id="IEq125_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\varvec{N}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq125.gif"/></alternatives></inline-formula> would be <inline-formula id="IEq126"><alternatives><mml:math><mml:mrow><mml:mrow><mml:mi mathvariant="bold-italic">N</mml:mi></mml:mrow><mml:mi>q</mml:mi><mml:mo stretchy="false">↔</mml:mo><mml:mo>∀</mml:mo><mml:mi>p</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mrow><mml:mi mathvariant="bold-italic">M</mml:mi></mml:mrow><mml:mi>p</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mfenced close=")" open="("><mml:mrow><mml:mi>p</mml:mi><mml:msub><mml:mo>&gt;</mml:mo><mml:mi>m</mml:mi></mml:msub><mml:mi>q</mml:mi></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced></mml:mrow></mml:math><tex-math id="IEq126_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\varvec{N}q \leftrightarrow \forall p\left( {\varvec{M}p \to \left( {p &gt;_{m} q} \right)} \right)$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq126.gif"/></alternatives></inline-formula>, writing ‘<inline-formula id="IEq127"><alternatives><mml:math><mml:mrow><mml:mi mathvariant="bold-italic">M</mml:mi></mml:mrow></mml:math><tex-math id="IEq127_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\varvec{M}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq127.gif"/></alternatives></inline-formula>’ for the dual of <inline-formula id="IEq128"><alternatives><mml:math><mml:mrow><mml:mi mathvariant="bold-italic">N</mml:mi></mml:mrow></mml:math><tex-math id="IEq128_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\varvec{N}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq128.gif"/></alternatives></inline-formula>. <italic>This</italic> principle seems false for any reading of ‘<inline-formula id="IEq129"><alternatives><mml:math><mml:msub><mml:mo>&gt;</mml:mo><mml:mi>m</mml:mi></mml:msub></mml:math><tex-math id="IEq129_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$&gt;_{m}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq129.gif"/></alternatives></inline-formula>’ on which it is false that: if Jones had tossed this coin it <italic>would not</italic> have landed tails.</p><p id="Par119">Objection: I said in Section 7 that Jones <italic>lacks</italic> any opportunity to enter the right combination into a combination lock. What is the difference between (i) buying a ticket in a fair lottery and (ii) entering <italic>some</italic> number into a combination lock, such that my having an opportunity to do (i) gives me an opportunity to win, but Jones’s having an opportunity to do (ii) does not give <italic>him</italic> an opportunity to leave the room?</p><p id="Par120">Reply: getting the right combination is, and buying a winning lottery ticket isn’t, <italic>quasi</italic>-<italic>miraculous</italic> in the sense of suggesting some conspiracy (Lewis <xref ref-type="bibr" rid="CR500">1986</xref>: 58 ff.). In a big lottery, the fact that my ticket is the winner has little tendency to suggest a conspiracy; whereas Jones’s getting the combination right—or a monkey’s spontaneously typing a 950-page dissertation on anti-realism—though perhaps no more unlikely, <italic>is</italic> evidence of collusion or similar.</p><p id="Par121">If Jones had been one of millions of prisoners in the same situation, or if the monkey had been one of <italic>very</italic> many monkeys in the same situation, then it would have been different. If Jones is the only prisoner then the prior probability of (<inline-formula id="IEq130"><alternatives><mml:math><mml:msub><mml:mi>c</mml:mi><mml:mi>j</mml:mi></mml:msub></mml:math><tex-math id="IEq130_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$c_{j}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq130.gif"/></alternatives></inline-formula>) there being a conspiracy involving Jones is relatively high, so (<inline-formula id="IEq131"><alternatives><mml:math><mml:msub><mml:mi>r</mml:mi><mml:mi>j</mml:mi></mml:msub></mml:math><tex-math id="IEq131_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$r_{j}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq131.gif"/></alternatives></inline-formula>) Jones’s getting the right combination raises this probability to a high level. But if Jones is one of many prisoners then the prior probability of a conspiracy involving <italic>Jones in particular</italic> is relatively low, so the posterior probability of a conspiracy involving Jones is also low, although the Bayes factor <inline-formula id="IEq132"><alternatives><mml:math><mml:mrow><mml:mrow><mml:mi>P</mml:mi><mml:mi>r</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi>r</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:msub><mml:mi>c</mml:mi><mml:mi>j</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow><mml:mrow><mml:mo stretchy="true">/</mml:mo></mml:mrow><mml:mrow><mml:mi>P</mml:mi><mml:mi>r</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi>r</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mrow><mml:mo stretchy="false">|</mml:mo><mml:mo>∼</mml:mo></mml:mrow><mml:msub><mml:mi>c</mml:mi><mml:mi>j</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mrow></mml:math><tex-math id="IEq132_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$${{Pr \left( {r_{j} |c_{j} } \right)} \mathord{\left/ {\vphantom {{Pr \left( {r_{j} |c_{j} } \right)} {Pr \left( {r_{j} |\sim c_{j} } \right)}}} \right. \kern-0pt} {Pr \left( {r_{j} |\sim c_{j} } \right)}}$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq132.gif"/></alternatives></inline-formula> is the same.</p><p id="Par122">There are arguments that we should not put the difference between (i) and (ii) in terms of quasi-miracles but rather in terms of the mathematically more sophisticated notion of <italic>typicality</italic> (Williams <xref ref-type="bibr" rid="CR32">2008</xref>: 406 ff.; Elga <xref ref-type="bibr" rid="CR3">2004</xref>: 71; Gaifman and Snir <xref ref-type="bibr" rid="CR6">1982</xref>: 544). However, typicality supports the distinction equally well. Jones’s buying a winning ticket in a lottery, or tossing a fair coin which then lands heads, are both typical in the relevant sense, but his hitting on the right combination is <italic>not</italic> typical.</p><p id="Par123">Note finally that the avoidance of quasi-miracles or of atypicality should also figure in whatever closeness measure <inline-formula id="IEq133"><alternatives><mml:math><mml:mi>m</mml:mi></mml:math><tex-math id="IEq133_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$m$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq133.gif"/></alternatives></inline-formula> witnesses the counterfactual constraint <inline-formula id="IEq134"><alternatives><mml:math><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:mi>q</mml:mi><mml:mo stretchy="false">↔</mml:mo><mml:mo>∀</mml:mo><mml:mi>p</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mi mathvariant="normal">∇</mml:mi><mml:mi>p</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mfenced close=")" open="("><mml:mrow><mml:mi>p</mml:mi><mml:msub><mml:mo>&gt;</mml:mo><mml:mi>m</mml:mi></mml:msub><mml:mi>q</mml:mi></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced></mml:mrow></mml:math><tex-math id="IEq134_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$\Delta q \leftrightarrow \forall p\left( {\nabla p \to \left( {p &gt;_{m} q} \right)} \right)$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq134.gif"/></alternatives></inline-formula>. That means that if Jones lacks an opportunity to leave in (b), then since Jones has the opportunity to enter some combination or other, the <inline-formula id="IEq135"><alternatives><mml:math><mml:mi>m</mml:mi></mml:math><tex-math id="IEq135_TeX">\documentclass[12pt]{minimal}
				\usepackage{amsmath}
				\usepackage{wasysym}
				\usepackage{amsfonts}
				\usepackage{amssymb}
				\usepackage{amsbsy}
				\usepackage{mathrsfs}
				\usepackage{upgreek}
				\setlength{\oddsidemargin}{-69pt}
				\begin{document}$$m$$\end{document}</tex-math><inline-graphic xlink:href="11098_2019_1375_Article_IEq135.gif"/></alternatives></inline-formula>-closest worlds at which he enters some combination or other are worlds at which he does not enter the right combination. This is no objection to the constraint: it just reveals a conceptual connection between quasi-miracles or typicality and opportunities.</p></fn></fn-group><notes notes-type="Misc"><title>Publisher's Note</title><p>Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.</p></notes></back></article>