Rewriting without the need of update