user_guide:dequivalence