Αποστολή με SMS: Formalizing Medieval Logical Theories