Corrected redundancy removal