Rewriting all the way