Rewriting core