Redundancy removal.