If a believer in God is going to have a theodicy, that is, a measured effort to “justify the ways of God to man,” he is going to have to go in one of three directions. There are only three. The problem is this. If God is all-powerful, then He can bring an end to evil. If God is ideally benevolent, then He wants to bring an end to evil. So: why is there evil? Three answers: you can choose to remain silent and regard the question as an unanswerable mystery (which Job learns to do at the end of the OT book bearing his name). Or you can define “all-powerful” in a way that solves the problem. Or you can define “benevolent” in a way that solves the problem. The problem is created by two constraints: that of power and that of goodness. Although no theodical authors would put it this way, some of them define “power” down and others define “goodness” down, loosening the one constraint or the other. In the late 17th century, Leibniz famously defined "power" down. ...