tutorial:dequivalence