More refactoring.
Redundant rule.
More refactoring.