Liber de consolatione theologiae.