 Auriol set up two basic rules for such propositions: (1) if a proposition about the future, say, “Socrates will run,” is true, it is true immutably and inevitably, since no instant can be found when it would be false. (2) The significate of such a proposition will inevitably and necessarily be put into being. The foundation for Auriol’s claim is his modal theory: immutability and necessity are the same thing. If something is immutable, it cannot be different from what it is, and so it necessarily is the way it is.