Tekstiviesti: Formalizing Medieval Logical Theories