Invia SMS: Formalizing Medieval Logical Theories