Modular redundancy