redundent codes