[Diamond lemma][1].

(Introduce rewriting systems, prove the diamond lemma and give couple of applications.)


  [1]: https://en.wikipedia.org/wiki/Newman%27s_lemma