Some redundancy should be compulsory for all professional systems.
Some working redundancy should be compulsory for all professional systems.
FTFY ;-)
From the article, they had lots of fancy redundancy: They just never checked that the redundancy was working.