Redundancy reduction revisited.

Redundancy reduction revisited.