Textmeddelande: Formalizing Medieval Logical Theories