At least since Aristotle's famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to what we might call the doctrine of the open future. This doctrine maintains that future contingent statements-roughly, statements saying of causally undetermined events that they will happen-are not true. 1 But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking backwards) it was the case that it would happen. How can it be that, looking forwards, it isn't true that there will be a sea-battle, while also being true that, looking backwards, it was the case that there would be a sea-battle? This tension forms, in large part, what might be called the problem of future contingents.Some theorists respond to this tension by insisting that one of the intuitions here must simply be denied. For example, so-called Peircians give up the backwardlooking intuition, while so-called Ockamists give up the forward-looking intuition (see Prior 1967: 113-135). But a dominant trend in temporal logic and semantic theorizing about future contingents seeks to validate both intuitions. Theorists in this tradition-including some interpretations of Aristotle, but paradigmatically, Thomason (1970), as well as more recent developments in Belnap, et al. (2001) and MacFarlane (2003MacFarlane ( , 2014-have argued that the apparent tension between the intuitions is in fact merely apparent. 2 In short, such philosophers seek to maintain both of the following two theses: * For comments and discussion, thanks to