Description of the illustration redundancy_clause.eps [ MIRROR | HIGH | UNPROTECTED | PARITY | DOUBLE ]