does not reduce a single rule when it has a name.