Anything taking the form 'if As are Bs and Bs are Cs, then As are Cs' is a deduction in Aristotle's ...