Restructuring and rewriting, new example