Rewriting is hard