 However it seems there is one variety of proposition which presumably expresses a soft fact about the past, but is very plausibly not necessary, namely a proposition which is equivalent to a conjunction where one of the conjuncts is plausibly wholly about the future, and where the other conjunct does not entail it. And, if the Aristotelian solution is wrong, our example seems to fit this bill. The proposition, “it was true in 1900 that there would be a sea-battle on 1/1/2100” is plausibly equivalent to “there was such a time as 1900 and there will be a sea-battle on 1/1/2100.” And this proposition will not be necessary, if it is not necessary that there will be a sea-battle on 1/1/2100.