Description of the illustration redundancy_clause.eps