> abstraction is "about identifying what should leak and leveraging it"

vs

> Abstraction hides unnecessary detail.

Sounds like these ways of describing abstraction are in agreement with one another to me.

If you hide what’s unnecessary you’re left only with the things you think should leak. And you think they should be left unhidden so that you can use them for something, so to leverage them.