. . . "This article contributes to a full-scale theodicy by showing that A being of use (e.g., by suffering) to B is a great good for A, and that in consequence, if 1) and 2) are satisfied, 3) and 4) are also likely to be satisfied" .