Transposition and Material Implication as Rules

The contrapositive becomes a license to rewrite, and the arrow becomes removable