workshops:workshop0122:dequivalence