 Based on these rules, the ekthesis method permits straightforward proofs of the third figure syllogisms. Aristotle proves Darapti (An. Pr. I.6, 28a22–26) and mentions that Bocardo is provable by ekthesis (An. Pr. I.6, 28b20–21). The proof of Bocardo is as follows: