"The quest for efficient algorithms is a journey through the landscape of mathematical possibility."
The power of abstraction is that it allows us to ignore details that are not relevant to the task at hand.