The contrapositive would be: