Text this: Formalizing medieval logical theories :