Comment by daniel-sc

Resonates well. Only it glosses over the detail that abstractions are often leaky and even increase global complexity for the goal of reducing local complexity of one component/layer. This is where the math example is misleading in relation to software engineering.