Description of the illustration convert_redundancy_clause.eps
CONVERT REDUNDANCY TO FLEX