What is “redundancy”?