total rewriting