 Not all incomplete syllogisms were reduced to complete syllogisms; Aristotle also gave other arguments for them. He used two methods to prove the incomplete syllogisms: reductio ad impossibile and ekthesis. Thus, he proves Baroco by impossibility, from the assumption that the premises are true and the conclusion false (An. Pr. I.5, 27a36-b1):