 Middle knowledge requires that there are true counterfactuals of this form corresponding to every possible free creature and every possible circumstance in which that creature can act freely. These propositions are intended to be contingent (a claim that has been disputed by some objectors), but they are prior to God’s creative will. God uses them in deciding what to create. By combining his Middle Knowledge with what he decides to create, God knows the entire history of the world.