Rewriting backward representations