On forgetting clauses