SMS versenden: Formalizing Medieval Logical Theories