Some new clauses need to be added