Commit of simplifications