 Finally, in the concluding discussion of this third part of his text, Luther repeats a claim he has made at several previous points: namely, that if Erasmus’s arguments prove anything, they prove too much, by establishing the full-blown Pelagianism Erasmus thinks he can avoid. For, if the arguments from “ought implies can” and from imputation are taken seriously at all, then they would establish that we are not merely free to the limited degree Erasmus claims, but are fully free to do the good, so that “if anything is proved, complete freedom of choice is proved with it”—but this is “a complete subversion” of what Erasmus wanted to show, as he tried instead to argue for the more moderate view that “such a free choice can do nothing good and is in bondage to sin” (WA 18:696/LW 33:156). Luther claims, therefore, that Erasmus’s position undermines itself.