Gravar-mail: Extracting Functional Equivalence from Reversing Contingencies