> claims that by construction, it is obvious that

Sounds like circular logic to me unless you make that assumption explicit

Yes, that's what I'm "accusing" him of. I'm sure his defenders view his argument differently.