removed redundancy redundancy decrement