Proceed with rewriting