  In Damian’s view, those who have put the question about God’s ability to undo what has been done have acted impetuously, for they do not understand the import of their query. They are asking whether God can bring it about that what has been done, will not have been done. However, the kind of impossibility that is implied here concerns not only what is past but also what is present or future. One must also ask whether God can bring it about that what is, is not, or whether he can bring it about that what will be, will not be. In Damian’s view, the logic in these questions is the same. The rules of dialectic say that from the factuality of any statement, regardless of the tense, you can infer its necessity and the impossibility of its contradictory in the following manner: what has been, necessarily has been, and it is impossible that it has not been; what is, necessarily is, as long as it is, and it is impossible that it is not; what will be, necessarily will be, and it is impossible that it will not be (602D–603B).