Отправить по sms: Formalizing Medieval Logical Theories