Telefona gönder: Towards a formalization of Thomistic theodicy :