 The dependence solution redirects attention from the temporal to the explanatory order, in which divine foreknowledge depends on future events while future events do not depend on divine foreknowledge. It then proposes that what’s relevant to assessing libertarian agency is the explanatory order--the temporal order is relevant only insofar as it follows the explanatory order, and (when it does follow it) because it follows it. Thus a fact about the past, such as God’s believing yesterday that T, is irrelevant to the libertarian status of a future action if that fact does not explain, and is instead explained by, that future action. This much is consistent with the past’s being fixed and necessary in just the way that premise (2) requires, and consistent with the solution we’ll look at in  2.8.  What the dependence solution adds is that openness in the explanatory order overrides the necessity of the past: any facts about the past that aren’t yet explanatorily fixed, aren’t yet temporally fixed either. So (2) isn’t true in its full generality, and divine foreknowledge is one of the exceptions, blocking the inference to (3).