redundancy resolution