Rewriting everything