 Aristotle uses the same methods to prove the incomplete modal syllogisms as he uses for the assertoric syllogisms, i.e., conversions, reductio ad impossibile, and ekthesis. In An. Pr. I.3, 25a27–25b26, he accepts the following conversion rules for necessity, contingency, and possibility sentences: