workshops:workshop1122:dequivalence