Zaslat SMS: Formalizing Medieval Logical Theories