Please just read what I wrote. Please. You and I are talking about different things. You showed me a source for your claim and then acted like I was somehow misreading your source when I just wasn't talking about it.

We're basically in agreement, but you want to act like you're teaching me something. It's irritating.

One can fully understand that the goal is to write provable programs and yet we do not, we write programs that need debugging. So therefore, I don't think it's hard to imagine that if we get along with that, we may get along with natural language in the control channel, despite that being also proscribed in that vaunted essay you linked to me.