The [diamond lemma][1] has recently come up in my teaching, and as always I've been looking for nice and simple applications. This has reminded me of the thesis Kimmo Eriksson, *Strongly convergent games and Coxeter groups*, KTH Stockholm 1993, which I have never been able to locate despite the existence of [a ProQuest page][2] and many (Google Scholar says 60) citations in the literature. Does anyone have a scan of this thesis? (I am aware of several papers by Eriksson, but I'm not sure how much of the thesis they cover.) [1]: https://www.cip.ifi.lmu.de/~grinberg/algebra/diamond-talk.pdf [2]: https://www.proquest.com/docview/304095210