 What kind of cognitive component belongs to faith, then? One possibility is that it is a kind of knowledge, but there is then a question about the kind of knowledge that it is: e.g., is it knowledge ‘by acquaintance’, or ‘propositional’ knowledge ‘by description’, or both? One type of model of faith as knowledge identifies faith as propositional knowledge of specific truths, revealed by God. A model of this type has received prominent recent defence in the work of Alvin Plantinga, who proposes an account which he regards as following in the tradition of the reformers, principally John Calvin (see Plantinga 2000, 168–86). Calvin defines faith thus: ‘a firm and certain knowledge of God’s benevolence towards us, founded upon the truth of the freely given promise in Christ, both revealed to our minds and sealed upon our hearts through the Holy Spirit’ (John Calvin, Institutes III, ii, 7, 551, quoted by Plantinga (2000, 244)).