Stoic syllogistic is best understood as a substructural backwards-working Gentzen-style natural-dedu...