user_guide:howto:dequivalence