Formalizing Medieval Logical Theories: Suppositio,