Ending a thesis

https://tcatf.hypotheses.org/299