 For his theodicy to work, Plantinga would need to argue that it is the good of the atonement in particular that assures the relevant goodness, thereby revising the Strong Value Assumption to something like