To quote Kyle Simpson, “Abstraction is about creating semantic boundaries between things.” This separation allows us to think about, reason about, and prove each individual piece.

This is different than “hiding details” as that can better be described as encapsulation.