Rewriting the system