new way of forgetting clauses