The prime task is therefore not merely showing God is possible, but justifying the modal logic that ...