  For Aristotle, the status of LEM and bivalence comes down to the problem of future contingents. In a passage that has launched a thousand treatises, Aristotle (De Interpretatione, Chapter 9) addresses the difficulties posed by apparently contradictory contingent statements about future events, e.g. (2a,b).