Fig. (8)
Redundancy function.