Text this: Towards a formalization of Thomistic theodicy :