Added redundancy documentation