Redundant Shunt Trip: