No I get that all abstractions leak on some level. But some leak a lot more than others. And as an industry we don't seem to have good mental models or language

No I get that all abstractions leak on some level. But some leak a lot more than others. And as an industry we don't seem to have good mental models or languages around that. More than once I've seen using the abstraction + working around the leaks being more complex than just using the the thing underneath the abstraction. I have no pithy phrase to describe that scenario, without the "why don't we just code in binary" retort.