Adding removed clauses