A Logical Breakdown of the Atonement