[cinnamonheart]

One of my favourite quotes on the topic of abstraction comes from Dijkstra, too.

> The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.

[kqr]

Yes! And this also ties in to the notion that abstractions should encapsulate invariants.