Abstractions require theorems/laws/properties/rules… whatever you want to call them. Indirection is about providing a common language, and interface if you wil

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.