Title: Iterated context-independent rewriting