Anfonwch hwn fel neges destun: Formalizing Medieval Logical Theories