[D1] Rewriting