In computer science, abstraction is the key to managing complexity.