Which sequence correctly states the earlier four rules?

Contraposition: Classical Rules, Validity and the Later Convention