 As we have seen, Lavenham’s medieval attempt at systematising the various possible responses to the problem of future contingents gives rise to a classification. This classification is based on the observation that in order to reject the logical argument for determinism we have to reject at least one of the principles, (P3) (necessity of the past) and (P5) (the principle of future excluded middle). It is also clear from Lavenham’s analysis that he wanted to focus on the question whether future contingents have determinate truth-values. When formulated in terms of the modern debate, the question is whether future contingents have branch-independent truth-values. Or using Belnap’s vocabulary: Is there settled truth about future contingents? Using the reactions on the classical argument mentioned in section 2 and the views on truth-values of future contingents as two classification principles, we may group the solutions considered in the following diagram: