Text this: Avicenna's optimistic theodicy