Discontiguous and redundant clause.