Rewriting and its challenges