  Clearly, (2a) and (2b) cannot both be true; LNC applies to future contingents as straightforwardly as to any other pair of contradictories. But what of LEM? Here is where the difficulties begin, culminating in the passage with which Aristotle concludes and (apparently) summarizes his account: