https://9dok.net/document/y4w48rgr-a-a-computable-computable-function.html