User blog comment:Ikosarakt1/Ideas of going past psi(K)/@comment-35470197-20200118075137/@comment-35470197-20200118082050

But the original definitions do not work in this blog post. What are the precise definitions?