Description of redundancy_clause

[ MIRROR | HIGH | UNPROTECTED | PARITY | DOUBLE ]