The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise. Good abstractions hide the right details at the right time, allowing us to reason about systems at a higher level without being overwhelmed by implementation specifics. The art lies in choosing which details to hide and which to expose.

— Edsger W. Dijkstra