In the same way wood is used to build a house.

That you used wood doesn’t mean you built a house.

Abstractions require theorems/laws/properties/rules… whatever you want to call them.

Indirection is about providing a common language, and interface if you will, for talking to different implementations.

Separating concerns is another strategy altogether for managing resources.