Enviar por SMS: Formalizing Medieval Logical Theories