Redundant Launch Sequencer.