rewriting ~unstable