The Écrits sur la grâce, which was drafted at about the same time as the Provincial Letters, summarizes the Augustinian position as follows: God predestines some human beings for salvation and saves them by “means that are certain and infallible” (II, 262). There are also others to whom God gave graces “that would have led them to salvation had they used them properly” (I, 262), but He chose not to provide them with the ‘unique grace of perseverance’ without which it is impossible to be saved. By defending the necessity of God's grace and its infallible efficacy, and by assuming that some people resist this divine assistance, Pascal was forced by the logic of his position to endorse a theory of divine predestination. If God were to provide efficacious grace to each person, they could not fail to be saved.  Therefore, if some are damned, that must be because God has decided not to rescue them from the Fallen condition into which they have been born as a result of Adam's sin.