Edit: Term Rewriting

Describe this revision: