Make the rewrite explicit