Thenceforward there was gradually imported into the type of the Saviour the doctrine of the Last Judgment, and of the second coming, the doctrine of sacrificial death, and the doctrine of Resurrection, by means of which the whole concept blessedness, the entire and only reality of the gospel, is conjured away in favour of a state after death!.