reference:dequivalence