User blog comment:Nayuta Ito/faketest/e0/@comment-30754445-20180805015451/@comment-35470197-20180807020419

I see. Thank you. I also never doubt Deedlit. I am just willing to understand analyses in this wiki with formal proofs.

> (also, mathjax doesn't work for me in the comments, which makes it even more difficult for me to fully understand your posts)

Uh oh. Sorry. I will use text-base equalities like W_{M+1}.