 Theophrastus is reported to have added to the four syllogisms of the first figure another five (Baralipton, Celantes, Dabitis, Fapesmo, and Frisesomorum), which Aristotle had just mentioned in the second book of his Prior Analytics (frs. 91A–E FHS&amp;G). In this way, he redefined the first figure, so that it includes every syllogism in which the middle term is subject of one premise and predicate of the other. Furthermore, he put the syllogisms of the second and third figure in a different order from that chosen by Aristotle, listing them according to the type and complexity of the proof needed for reducing them to the syllogisms of the first figure. For instance, his discussion of Ferison precedes that of Bocardo, since the latter is proved by reductio ad absurdum while the former by conversion of the minor premise (frs. 96A–B FHS&amp;G).