 Arnauld claims a number of advantages for his theory of free will over that of Jansen. In particular, he claims that, when combined with the account of the nature of grace that he found in Estius, it makes it easier to reconcile the intrinsic efficacy of grace with freedom.