https://9dok.net/document/yr34k07v-a-theory-tcf-of-computable-functionals.html