3.1. Past Subjunctive vs. Present/Future Subjunctive
The fact that the past subjunctive does not signal past temporal reference has been commonly observed in connection with counterfactual conditionals, as in the following example:
(9) | Se | os | dinossauros | não | se | tivessem | extinguido, |
| if | the | dinosaurs | not | them | had_3pl_subj_past | extinct, |
| não | haveria | tantas | espécies | de | Mamíferos. | |
| not | be_3sg_cond | so-many | species | of | mammals | |
| ‘if dinosaurs had not become extinct, there would not be so many species of mammals.’ |
With present subjunctive, as in (10a), or future subjunctive, as in (10b), the construction is necessarily a hypothetical conditional:
(10) | a. | O | que | devo | dizer | caso | alguém | pergunte | por | ti? |
| | the | what | must | say | case | someone | ask_3sg_subj_pres | for | you? |
| | ‘What should I say in case someone asks for you?’ |
| b. | Não | sei | como | está | o | tempo; | | | |
| | not | know_1sg_ind_pres | how | is | the | weather; | | | |
| | se | estiver | a | chover, | não | saio. | | | |
| | if | is_3sg_subj_fut | to | rain | not | leave. | | | |
| | ‘I do not know how the weather is; if it is raining, I will not go out.’ |
The past subjunctive might also occur on the antecedent of hypothetical conditionals, if the antecedent refers to a possibility that is unlikely, as in (11), or one that is new in discourse, as in (12a)
2, in a context in which a medical diagnosis is sought, and in (12b):
(11) | Se | a | Lista A | ganhasse | as | eleições | (o | que | é |
| if | the | List A | win_3sg_subj_past | the | elections | (the | which | is |
| extremamente | improvável), | a | Ana | seria | a | próxima | | |
| extremely | improbable) | the | Ana | be-cond | the | next | | |
| Presidente | da | Associação | de | Estudantes. | | | | |
| President | of-the | Association | of | Students | | | | |
| ‘If List A won the elections (which is extremely unlikely), Ana would be the next President of the Student Association’ |
(12) | a. | Se | ela | fosse | alérgica | à | penicilina, |
| | if | she | be_3sg_subj_past | allergic | to-the | penicillin, |
| | teria | os | sintomas | que | apresenta. | |
| | have_3sg cond | the | symptoms | that | presents | |
| | ‘If she were allergic to penicillin, she would have the symptoms she has’ |
| b. | E | se | almoçássemos | aqui? | | |
| | and | if | lunch_1pl_subj_past | here? | | |
| | ‘What if we had lunch here?’ |
The observation that the past subjunctive is associated with modal values, and not expressing past reference, is valid not only for conditionals (as commonly observed
3) but also for various syntactic constructions. In all of the following examples, the sentences with the past subjunctive have counterfactual interpretation or refer to unlikely possibilities; meanwhile, those with the present or future subjunctive refer to possibilities that are reasonable and available at the context of utterance:
(13) | a. | Oxalá | chovesse | brevemente! |
| | God-wishes | rain_3sg_subj_past | soon |
| | ‘I wish it would rain soon!’ |
| b. | Oxalá | chova | brevemente! |
| | God-wishes | rain_3sg_subj_pres | soon |
| | ‘I wish it rains soon!’ |
(14) | a. | Duvido | que | alguém | consiga | desatar | este | nó. |
| | doubt_1sg_ind_pres | that | anyone | can_3sg_subj_pres | untie | this | knot |
| | ‘I doubt anyone will be able to untie this knot.’ |
| b. | Duvido | que | alguém | conseguisse | desatar | este | nó. |
| | doubt_1sg_ind_pres | that | anyone | can_3sg_subj_past | untie | this | knot |
| | ‘I doubt anyone would be able to untie this knot.’ |
(15) | a. | Com | este | temporal | os | automobilistas | que | estiverem |
| | with | this | storm | the | car drivers | who | be_3sg_subj_pres |
| | na | ponte | estão | aflitos! | | | |
| | at-the | bridge | be_3pl_ind_pres | afflicted | | | |
| | ‘With this storm, the drivers that are at the bridge are in trouble.’ |
| b. | Com | este | temporal | os | automobilistas | que | estivessem |
| | with | this | storm | the | car drivers | who | be_3sg_subj_past |
| | na | ponte | estariam | aflitos! | | | |
| | at-the | bridge | be_3pl_cond | afflicted | | | |
| | ‘With this storm, the drivers that were at the bridge would be in trouble.’ |
(16) | a. | Com | este | barulho, | mesmo | que | grites |
| | with | this | noise | even | that | shout_2sg_subj_pres |
| | ninguém | ouve! | | | | |
| | nobody | hear_3sg_ind_pres | | | | |
| | ‘With this noise, even if you shout noone will hear you!’ |
| b. | Com | este | barulho, | mesmo | que | gritasses |
| | with | this | noise | even | that | shout_2sg_subj_past |
| | ninguém | ouviria! | | | | |
| | nobody | hear_3sg_cond | | | | |
| | ‘With this noise, even if you’d shout noone would hear you!’ |
(17) | a. | Com | este | buraco | na | telha, | assim | que | chover |
| | with | this | hole | in-the | tile | soon | that | rain_3sg_subj_fut |
| | a | cozinha | fica | inundada! | | | | |
| | the | kitchen | get_3sg_ind_pres | flooded | | | | |
| | ‘With this hole in the roof tile, the kitchen will get flooded as soon as it rains!’ |
| b. | Com | este | buraco | na | telha, | assim | que | chovesse |
| | with | this | hole | in-the | tile | soon | that | rain_3sg_subj_past |
| | a | cozinha | ficava | inundada! | | | | |
| | the | kitchen | get_3sg_ind_imp | flooded | | | | |
| | ‘With this hole in the roof tile, the kitchen would get flooded as soon as it rained!’ |
On the face of examples of the same kind as (11) and (13) in Spanish, Laca 2010, after describing as temporal locators the two subjunctive tenses of Spanish (present and past
4), posits that the ones above “can be assimilated to the numerous instances of past tenses used for signaling counterfactuality or non-realistic modal bases (see
Iatridou 2000)” (
Laca 2010, p. 5).
In addition to Spanish, other Romance languages have two subjunctive tenses (‘Present’ and ‘Past’), the semantic opposition between them either concerning temporal location or being of the same kind as the contrast observed in English between the so-called subjunctive and indicative conditionals
5, as also shown in examples (13)–(17).
As observed above, and largely concerning English, two lines have been pursued in the literature to account for the modal readings of subjunctive conditionals. One of the lines—that is usually referred to as the “past-as-past” hypothesis—is that even in these constructions, the verbal tense is a temporal operator. The other one, known as ‘past-as-modal’, is that in some cases, the verbal tense is a temporal operator, and in others, it is a modal operator. In the first case, time points (or intervals) are considered in the interpretation of the construction; in the second case, the interpretation involves the consideration of possible worlds. This line of reasoning is based on Stalnaker’s proposal that the role of the morphology of Subjunctive conditionals is to signal an enlargement of the context set (see
Stalnaker 1968,
1975,
2014). More precisely, Stalnaker proposes that “I take it that the subjunctive mood in English and some other languages is a conventional device for indicating that presuppositions are being suspended” (
Stalnaker 1975, p. 276). That is, when interpreting an indicative conditional, one considers the set of worlds defined by what is being presupposed in a conversation, i.e., the context set. Subjunctive conditionals signal that possible worlds outside the context set are taken into consideration.
There are different analyses that try to capture both the counterfactual reading as other modal values of subjunctive conditionals (see
von Fintel 1998;
Iatridou 2000;
Schulz 2014; and
Mackay 2019, among others). All of them have in common the assumption that modal and temporal values of the verbal tense that occurs in subjunctive conditionals are mutually exclusive. That is, the morphology has either a modal value or (in other constructions) a temporal value. I question this assumption on the basis of the following arguments:
- (i)
Modal and temporal values might coexist. Consider the following examples:
(18) | a. | Naquela | altura, | se | ele | fosse | mais | velho | teria |
| | at-that | time | if | he | be_3sg_subj_past | more | old | have_3sg_cond |
| | tomado | uma | atitude | diferente | da | que | tomou | |
| | taken | an | attitude | different | of-the | what | took | |
| | ‘At that time, were he older, he would have taken a different attitude.’ |
| b. | Durante | o | confinamento, | se | alguém | estivesse | | |
| | during | the | lockdown | if | someone | be_3sg_subj_past | | |
| | na | rua, | podia | ter | problemas | | | |
| | in-the | street | can_3sg_imperf | have | problems, | | | |
| | ‘During the lockdown, if someone {was/were} on the street, he could have problems.’ |
Example (18a) is a counterfactual conditional; (18b) might also be counterfactual (as shown by the possibility of continuing the sentence by saying, for example, but no one took the risk and went out) or not (as shown by the possibility of continuing the sentence by saying, for example, I don’t know if anyone took the risk and went out). In either case, the temporal location of the situation is in the past. That is, in these examples, the verbal tense is associated with the expression of both past reference and a modal value. Thus, it is not the case that temporal and modal values are always apart. If one assumes that the verbal tense that occurs in the antecedent of these conditionals either expresses past reference or expresses a modal value, one could say that in (18a) it has a modal value, signaling counterfactuality, the temporal information being conveyed by the temporal adjunct at that time. However, this would lead to the prediction that (18b), which has the same morphology as (18a), would be interpreted as counterfactual as well. However, out of context, both the counterfactual and the non-counterfactual interpretations of (18b) are available.
- (ii)
In Portuguese, as in many other languages, there is not one morpheme of tense separated from one of mood. Instead, the same morpheme is a tense and mood morpheme. Assuming that mood is related to modality, and that tense is related to temporal location, it is only natural that the same morpheme would be associated with the expression of both temporal location and modality, as seen in (18a,b).
- (iii)
In most Romance languages, there are two subjunctive tenses (the “present” and the “past”), but in Portuguese, there is an additional tense: the future subjunctive. If the semantic opposition between past and present subjunctive is either of temporal or modal nature, as assumed in the literature, one would expect a temporal or a modal difference between the future tense and the other subjunctive tenses in Portuguese. However, this does not seem to be the case.
Notably, these counter arguments are valid both from the ‘past-as-modal’ perspective on subjunctive conditionals and from the ‘past-as-past’ perspective. Any analysis that separates the modal from the temporal values of the subjunctive tenses faces the problems stated above. Analyses that assume only a temporal interpretation of verbal tenses lead to the prediction that differences of temporal nature can be observed between the future and other subjunctive tenses. However, such a prediction is not validated. The temporal information conveyed by (or associated with) the future subjunctive is no different from the one conveyed by the present subjunctive. As seen above, neither of these tenses may have past reference, but both of them may express temporal location in the present or in the future. Likewise, no difference of modal values is observed between present and future subjunctive tenses.
3.2. Present vs. Future Subjunctive
The present and future subjunctive are in complementary distribution. Future subjunctive occurs only in if-clauses, temporal clauses, and relative clauses, as shown by the following examples:
(19) | a. | Se | {chover/*chova}, | não | saio. | | | |
| | if | rain_3sg_subj_fut/_*pres | not | leave_1sg_ind_pres | | | |
| | ‘If it rains, I will not go out.’ |
| b. | Quando | {começar/*comece} | a | chover, | fecha | a | janela. |
| | when | start_3sg_subj_fut/_*pres | to | rain, | close_2sg_imper | the | window |
| | ‘When it starts raining, close the window.’ |
| c. | Todas | as | pessoas | que | {estiverem/?estejam} | doentes | |
| | all | the | persons | that | be_3pl_subj_fut/?pres | ill | |
| | devem | ficar | em | casa. | | | |
| | must_3sg_ind_pres | stay | at | home | | | |
| | ‘All people that are ill must stay home.’ |
In other kinds of construction, such as, for example, complement clauses, concessives or without-clauses, Present Subjunctive is allowed, but the Future Subjunctive is ruled out:
(20) | a. | Espero | que | {*estiver/esteja} | em | casa. | |
| | hope | that | be_3sg_subj_*fut/_pres | at | home | |
| | ‘I hope (s)he is home.’ |
| b. | Embora | {*for/seja} | tarde, | ainda | podes | tentar. |
| | although | be_3sg_subj_*fut/_pres | late | still | can_2sg_ind_pres | try |
| | ‘Although it is late, you can still try.’ |
| c. | Sai | sem | que | ninguém | te | {*vir/veja} |
| | leave_2sg_imper | without | that | no one | you | see_3pl_subj_*fut/pres |
| | ‘Leave without anyone seeing you.’ |
Even in conditional, temporal, and relative clauses, the occurrence of the future subjunctive is restricted. It occurs in conditionals introduced by se (“if”) but not in those introduced by caso (“in case”):
(21) | Aconselho-te | a | ver | este | filme, | caso | {*gostares/gostes} |
| Advise-you | to | see | this | movie | case | like_2sg_subj_*fut/_pres |
| do | género. | | | | | |
| of-the | gender | | | | | |
| ‘I advise you to watch this film if you like the genre.’ |
In temporal clauses, the future subjunctive may occur in those introduced by some temporal connections, as quando (“when”) (see 15b), enquanto (“while”), sempre que (“always”), or assim que (“as soon as”), but it is ruled out of other temporal clauses, such as those introduced by até (“until”):
(22) | a. | Chama-me | sempre | que | {precisares/*precises}. | |
| | Call_2sg_imper -me | always | that | need_2sg_subj_fut/_*pres | |
| | ‘Call me whenever you need.’ |
| b. | Espera | até | que | te | {*chamarem/chamem}. |
| | wait_2sg_imper | until | that | you | call_2pl_subj_*fut/_pres |
| | ‘Wait until you’re called.’ |
In relative clauses, the future subjunctive is allowed only in those under the scope of some determiners or quantifiers. In particular, the distinction between cardinal and proportional quantifiers (see, for example,
Kamp and Reyle 1993), or quantifiers of absolute quantification and quantifiers of relative quantification (see
Peres 2013), is relevant. The first class contains quantifiers as, for example,
five,
none, or
some. They express a quantity that is independent of the size of the domain of quantification (for instance, five penguins is the same quantity as five Siberian tigers, regardless of the fact that there are more penguins than Siberian tigers). The second class contains quantifiers as, for example,
every,
most, or
less than half. They express a quantity that is relative to the size of the domain of quantification (for instance, half of the penguins is not the same quantity as half of the Siberian tigers). The future subjunctive is allowed in relative clauses under the scope of proportional quantifiers, but not under the scope of cardinal quantifiers:
(23) | a. | Preciso | de | {dez/algumas} | bicicletas | que | | | | |
| | need_1sg_ind_pres | of | {ten/some} | bicycles | that | | | | |
| | {*estiverem/estejam} | em | bom | estado | | | | | |
| | be_3pl_subj_*fut/_pres | in | good | state | | | | | |
| | ‘I need {ten/some} bicycles that are in good condition.’ |
| b. | Preciso | de | {todas | / | metade | de} | as | bicicletas | que |
| | need_1sg_ind_pres | of | {all | / | half | of} | the | bicycles | that |
| | {estiverem/?estejam} | em | bom | estado | | | | | |
| | be_3pl_subj_fut/_?pres | in | good | state | | | | | |
| | ‘I need {all/half of} the bicycles that are in good condition.’ |
Unlike cardinal quantifiers, in the case of proportional quantifiers, the whole domain of quantification has to be taken into consideration. That is, given that nominal quantifiers denote relations between sets of entities, as stated by Generalized Quantifiers Theory (
Barwise and Cooper 1981), the truth conditions of [QAB] depend solely on #(A ∩ B) in the case of cardinal quantifiers and on #(A ∩ B) plus (A − B) in the case of proportional quantifiers.
Relative clauses,
if-clauses, and temporal clauses are also restrictors of quantifier domains (see, for example,
von Fintel 1994), as synthesized on
Table 2:
To summarize, the future subjunctive occurs only in the clauses that are restrictors of quantifier domains and, as shown by the examples in (23), in those cases where the whole domain of quantification is considered.
3.3. Proposal
The data considered thus far allow us to observe the following observations:
The past subjunctive can express past reference, counterfactuality, or unlikeliness; it is also used in propositions that describe (likely) possibilities new in discourse;
The present subjunctive expresses present or futurate reference and occurs in propositions that describe possibilities available in discourse;
The future subjunctive is identical to the present subjunctive, except that it occurs only in restrictors of quantifier domains, being in complementary distribution with the present subjunctive.
These facts suggest that an analysis of the subjunctive tenses based solely on the temporal interpretation of the tenses can hardly allow for a comprehension of their semantics. The “past-as-modal” approaches to subjunctive conditionals, which separate the modal from the temporal interpretations, lead to predictions that are unconfirmed (among other problems, such a line of reasoning would not explain the absence of different modal or temporal values separating the present and future subjunctive). A better understanding of the semantic contribution of the subjunctive tenses might be achieved if ordered pairs of times and possible worlds (<w’,t’>) are taken into consideration, as shown in
Figure 1, below, instead of either only considering the time line in the interpretation of the tenses or treating the temporal and modal values of the same tenses as totally separate values:
An utterance takes place at a time, t
0, and within a possible world, that, by default, is the real world (w
0). Thus, the pair <t
0,w
0> is available at the context of utterance. I propose that the non-past tenses—the present and future subjunctive—point to logical spaces that contain the pair <t
0,w
0>. They are deictic tenses. The future subjunctive also signals in addition that the wholly considered logical space is to be taken into account
6. The past subjunctive, on its side, is the complementary tense; it signals that a logical space that does not contain t
0 or w
0 is taken into consideration.
Consider the following examples:
(24) | a. | Preciso | das | bicicletas | que | estiverem | em | bom | estado. | |
| | need_1sg_ind_pres | of-the | bicycles | that | be_3pl_subj_fut | in | good | state | |
| | ‘I need the bicycles that are in good condition.’ |
| b. | Preciso | de | uma | bicicleta | que | esteja | em | bom | estado. |
| | need_1sg_ind_pres | of | a | bicycle | that | be_3sg_subj_pres | in | good | state |
| | ‘I need a bicycle that is in good condition.’ |
| c. | Nesta | altura, | precisarias | de | uma | bicicleta | que | estivesse | |
| | At-this | time | need_3sg_cond | of | a | bicycle | that | be_3sg_subj_past | |
| | em | bom | estado. | | | | | | |
| | in | good | state | | | | | | |
| | ‘Right now, you would need a bicycle in good condition.’ |
In all these examples, the relative clause has non-past reference; that is, in these examples a timespan that includes or follows t
0 is considered. The truth conditions of (24a), which features the future subjunctive, can be stated as follows: the sentence is true iff every possible world doxastically accessible from the context of utterance in which there is a bicycle in good condition is a possible world in which the speaker needs that bicycle. Sentence (24b), which features the present subjunctive, has similar truth conditions, except that it does not involve universal quantification. The computation of the NP
uma bicicleta que esteja em bom estado (“a bicycle in good condition”) involves the consideration of one possible world (anyone) that is doxastically accessible from the context of utterance in which there is a bicycle in good condition, rather than every possible world that satisfies these conditions. Thus, the computation of both (24a) and (24b) requires the consideration of a set of possible worlds that includes w
0. On the contrary, (24c) signals an enlargement of the context set
7—the set of possible worlds compatible with what is assumed at the context of utterance. Thus, the past subjunctive triggers a displacement from the context of utterance, signaling the consideration of possible worlds other than w
0.
In the following example, the past subjunctive also signals a displacement from the context of utterance, given that the meaning of the sentence does not involve the consideration of the pair <t0,w0>. The computation of the NP uma bicicleta que estivesse em bom estado (“a bicycle in good condition”) involves the consideration of possible worlds doxastically accessible from a point in the past, identified by naquela altura (“at that time”):
(25) | Naquela | altura, | eu | precisava | de | uma | bicicleta | que | estivesse |
| at-that | time | I | need_1sg_imp | of | a | bicycle | that | be_3sg_subj_past |
| em | bom | estado. | | | | | | |
| in | good | state | | | | | | |
| ‘At that time, you would need a bicycle in good condition.’ |
Thus, the past subjunctive signals a displacement from the context of utterance, be it a displacement from the real world (w0) or from utterance time (t0).
Apparently, futurate reference, as in the following examples, also implies displacement from the context of utterance:
(26) | a. | Daqui | a | um | mês, | precisarei | de | uma | bicicleta |
| | from-here | to | a | month | need_1sg_ind_fut | of | a | bicycle |
| | que | esteja | em | bom | estado. | | | |
| | that | be_3sg_subj_pres | in | good | state | | | |
| | ‘Next month, I will need a bicycle in good condition.’ |
| b. | Daqui | a | um | mês, | precisarei | das | bicicletas | que |
| | from-here | to | a | month | need_1sg_ind_fut | of-the | bicycles | that |
| | estiverem | em | bom | estado. | | | | |
| | be_3pl_subj_fut | in | good | state | | | | |
| | ‘Next month, I will need the bicycles that will be in good condition.’ |
The situation described by the subjunctive clause does not necessarily overlap with t0, only with reference time (next month), a t’ > t0. Thus, the meaning of these constructions seems also to not involve the consideration of the pair <t0,w0>. Nevertheless, the present subjunctive (in (26a)) or the future subjunctive (in (26b)) occurs, rather than the past subjunctive. Thus, even though Portuguese has a future subjunctive tense, unlike other Romance languages, it does not have a specific subjunctive tense that signals futurate reference; both the present and future subjunctive may occur in sentences with present reference and in sentences with futurate reference. Hence, subjunctive tenses are another example of asymmetry (as often observed in the literature) between past and future reference.
If, as proposed in this paper, non-past subjunctive tenses indicate that the logical space considered in the interpretation of the sentence includes the pair <t
0,w
0>, the logical space taken into account in the interpretation of sentences with futurate reference, as in (26a) and (26b), will also include t
0. This seems problematic. The truth conditions of (26a) and (26b) do not require the situation described by the subjunctive clause to overlap with t
0. However, the consideration of an interval that includes t
0 does not imply that the situation covers the entire interval. Following
Dowty (
1986),
Gennari (
1999,
2002) defends the existence of a pragmatic implication that leads to consider superintervals in the interpretation of stative sentences. Concerning the sentence
Juan estará en casa ahora (“Juan will be at home now”),
Gennari (
2002) rejects the standard account according to which the sentence “is true iff there is a future interval
i later than the ST at which Juan will be at home” (p. 8) and proposes that
“given the implication associated with states, i.e., that there is a superinterval i’ that contains i at which Juan is home, it follows that both the ST [Speech Time] and the interval of being home can [but do not have to] overlap. This is exemplified below where the slashes represent the superinterval inferred around the future interval specified by the tense:
_____________/_/_/_/_/_|_/_/_/_/_/_/_/_/_/_/_/_||||||||||/_/_/_/_/_________ |
| ST | be-home” |
Adopting Gennari’s proposal would account for cases as (26a) and (26b); given that a stative predicate occurs in the subjunctive clause, it follows from the Gennari’s pragmatic implication that a superinterval containing both t0 and the interval at which the bicycle is in good condition can be taken into account. However, that pragmatic implication only occurs with stative predicates. With eventive predicates, the problem would remain. Consider the following examples:
(27) | a. | Amanhã, | qualquer | carro | que | estacione | aqui |
| | tomorrow | any | car | that | park_3sg_subj_pres | here |
| | será | rebocado | | | | |
| | be_3sg_ind_fut | towed | | | | |
| | ‘Tomorrow, any car that parks here will be towed.’ |
| b. | Amanhã, | os | carros | que | estacionarem | aqui |
| | tomorrow | the | cars | that | park_3pl_subj_fut | here |
| | serão | rebocados | | | | |
| | be_3pl_ind_fut | towed | | | | |
| | ‘Tomorrow, the cars that park here will be towed.’ |
These sentences make reference to future events that might take place. Why, then, is t0 (more precisely, a set of pairs that includes <w0,t0>) taken into account? The reason why in the cases of futurate reference an interval that includes t0 is considered would not follow from Aktionsart matters, affecting equally stative and eventive predicates.
To summarize, the interpretation of subjunctive sentences with past reference would lead to consider an interval that might exclude t0 (more precisely, a set of pairs of times and worlds that might exclude <t0,w0>), thus implying a displacement from the context of utterance, marked by the past subjunctive; meanwhile, the interpretation of subjunctive sentences with future reference would lead to consider an interval that includes t0. The reason for this asymmetry between past and futurate reference can be this: the future is a development of the present (it does not exist without the present), unlike the past, which is not dependent on the present; i.e., whatever happens in the future may not have happened if the present were different, but the past is unaffected by the present (that is, current events do not change the past). Thus, the consideration of a set of pairs <t’,w0> such that [t’ > t0] requires this set to include <t0,w0>, while the consideration of a set of pairs <t’,w0> such that [t’ < t0] does not have this requirement. In other words, a logical space that contains a situation located in the past and that includes w0 does not have to include t0 (as the past exists without the present), but a logical space that contains a situation located in the future and that includes w0 has to include t0 (as the future does not exist without the present).