 Moreover, the Pseudo-Scotus treatise also offers an interesting formulation of the simple vs. as-of-now distinction: in contrast with e.g. Burley, according to Pseudo-Scotus this distinction applies only to material consequences (recall that for him, a formal consequence is the one that satisfies the substitutional criterion), and amounts to the modal value of the missing premise that can be added in order to turn the (enthymematic) consequence into a formal one. That is, if the missing premise is a necessary sentence, then the consequence is an absolute/simple one. But if the missing premise is a contingent truth (it has to be true with respect to the time indicated by the verbs of the consequence, otherwise the original material consequence does not hold), then the original material consequence holds only in some situations, namely the situations in which the contingent sentence happens to be true, and is thus an as-of-now consequence. The same formulation of the simple vs. as-of-now distinction can be found in Buridan’s treatise, Book I chapter 4, which again illustrates the conceptual connection between the two texts.