rewriting no longer stable