These rules don't need their own names anymore, since the rule-simplifier they are in is named after them now.
These rules don't need their own names anymore, since the
rule-simplifier they are in is named after them now.

axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language