Rewriting Models