  There is a curious feature in Damian’s idea about restoring virginity. Damian talks about kinds of restoration of virginity that do not require any interfering with past events (see  Section 4).  This is significant because it ruins our constructed argument for the claim that Damian has to deny the universal validity of the principle of non-contradiction (above, steps [1]–[5]). If Damian does not share the assumption that restoration of virginity consists in removing some events in the past (step [2]), then the two questions in De divina omnipotentia can be treated and answered separately. Even though Damian affirms the possibility of restoring virginity, he need not affirm the possibility of undoing the done.