Update (rewriting)