The crucial idea here is that a proposition is contingently true in this world when it is somehow dependent upon the first free decree of God, that is, when the reason for the truth of the proposition is to be located in the actualization of this particular world. There is another world, W*, existing in the infinite library of world-books, which is such that if God had brought that world, W*, into existence P would be false. In other words, a proposition is contingently true when it is true in t