redundancy deletion