Comment by some_furry

No shit. It is a blog post, not an academic paper or Lean proof.

My blog posts are supposed to be informal and conversational, not pure logic. If you want "ratioanl arguments", look elsewhere than personal blogs.