Rewriting laws





Rewriting laws