Active Redundancy Formula