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

It was not aware that this sequence is inconsistent at the time when I wrote that blog post. I'll make a notion on this.