Further rewriting