Yes. And indeed, abstraction is not what LLMs are offering.

It very much is. But it's a non-deterministic, more-lossy-than-usual abstraction: english to code.