  In Religion within the Boundaries of Mere Reason he undertook the project of using moral language in order to translate the four main themes of Biblical revelation (accessible only to particular people at particular times) into the revelation to Reason (accessible to all people at all times). This does not mean that he intended to reduce Biblical faith to morality, though some scholars have taken him this way. The translated versions of Creation, Fall, Redemption and Second Coming are as follows (see Hare 1996): Humans have an initial predisposition to the good, which is essential to them, but is overlaid with a propensity to evil, which is not essential to them. Since they are born under ‘the Evil Maxim’ that subordinates duty to happiness, they are unable by their own devices to reverse this ranking, and require ‘an effect of grace’ (Religion, 6.53). Providence ushers in progress (though not continuous) towards an ‘ethical commonwealth’ in which we together make the moral law our own law, by appropriating it as authoritative for our own lives (this is what Kant means by ‘autonomy’) (Religion, 6.98–99; Groundwork, 4.433–34). 