Contraposition by limitation

A two-step inference involving the subalternation from the E-proposition to its corresponding O-proposition and then contraposing the result. Contraposition by limitation is a valid inference only for the E-proposition on the Aristotelian, or traditional, interpretation of the universal—that is, on the assumption of existential import.