(One puzzling feature of relational syllogisms as presented by Galen is that he apparently sometimes does and sometimes does not mention the relevant axiom on which the syllogism depends, as part of the syllogism.)