Satisfaction theory of the atonement