I'm not sure of anyone else has pointed it out, but is it fair to say that the contrapositive argument structure models that of "modus tollens"?