The Deep Structure of Sophisticated Software
There is a simple test for whether a software system is doing something hard. Look at the questions it has to answer. If most of them have the shape "what is the value of X?", the system is doing lookups. If most of them have the shape "