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

I see, so this is yet to be defined. My old blog post only represents a rough sketch of how it may be defined.