 He then observes that since he has already shown how to reduce all the particular deductions in the other figures except Baroco and Bocardo to Darii and Ferio, these deductions can thus be reduced to Barbara and Celarent. This proof is strikingly similar both in structure and in subject to modern proofs of the redundancy of axioms in a system.