Redundancy: an introduction