 As in the case of assertoric syllogisms, Aristotle makes use of conversion rules to prove validity. The conversion rules for necessary premises are exactly analogous to those for assertoric premises: