From Volume 2 of his Systematic Theology (link): S: 4. Hypothetical Redemption. According to the common doctrine of Augustinians, as expressed an the Westminster Catechism, “God, having . . . . elected some to everlasting life, did enter into a covenant of grace, to deliver them out of the estate of sin and misery, and…