If it's hard to write code that "understands" your code, then it's probably hard to understand your code.

That seems true. But most TDD people do not claim that, they claim that it it's hard to write fast code that "understands" your code without needing to "understand" anything else on the system, then it's probably hard to understand your code.

I can't agree with the fully qualified proposal.