Rewriting Equations