Redundant processors are different in structure