Full rewriting