John Calvin, Institutes of the Christian Religion, trans. H. Beveridge (Grand Rapids: Eerdmans, 1953), 2.16.440–443.