Redundancy Elimination

Redundancy Elimination