 Auriol placed greater emphasis on divine simplicity and necessity than on divine freedom and contingency when he was wrestling with one of the fundamental problems of Christian philosophical theology: given an absolutely simple and necessary God, what is the source of contingency? Auriol’s own explanation lies in God’s relationship with events in time, but this explanation was not of interest to Rimini, who was convinced by Scriptural prophecy that God does in fact know the future, and convinced by logic that the Principle of Bivalence holds universally. So the problem becomes, if God knows that Socrates will run, and the proposition “Socrates will run” is true, will not Socrates run necessarily?