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