Before the rewriting