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.
