The power of abstraction is that it allows us to reason about systems at a higher level, without getting bogged down in the details.