Implement new clauses