Finished adding all clauses