Christus Victor: An Historical Study of the Three Main Types of the Idea of the Atonement