rewriting system