forget all clauses!