What further feature must be respected for modal propositions?

Contraposition: Classical Rules, Validity and the Later Convention