 One response to the dilemma of infallible foreknowledge and free will is to deny that the proposition T can be true, on the grounds that no proposition about the contingent future is true: such propositions are either false (given Bivalence), or neither true nor false. This response rejects the terms in which the problem is set up. Since God wouldn’t believe a proposition unless it were true, premise (1) is, on this account, a non-starter. The idea behind this response is usually that propositions about the contingent future become true when and only when the event occurs that the proposition is about. If the event does not occur at that time, then the proposition becomes false. This seems to have been the position of Aristotle in the famous Sea Battle argument of De Interpretatione IX, where Aristotle is concerned with the implications of the truth of a proposition about the future, not the problem of infallible knowledge of the future. But some philosophers have used Aristotle’s move to solve the dilemma we are addressing here.