 Gilberto Gomes (Gomes 2019) discusses in detail a range of cases in which sometimes elaborate paraphrasing of this, and other, kinds can be used to preserve reciprocity between conditionals and their contrapositives.