Levels of Abstraction

Reading through some of Dave Thomas' latest articles, I found this quote which I really like:

"The art of programming is about managing the half-truths at higher levels of abstraction in such a way that they are sufficiently correct to make progress, and sufficiently vague that they can be refined at the next level." (in Programming with Models - Modeling with Code)

Thought some of you might like it too.

(Thanks to Mike for writing about Dave.)