documentation:master:dequivalence