https://123dok.net/document/z1dw3xkv-correction-to-on-topological-cyclic-homology.html