redundancy matrix