The Difference We Are Optimising Away

Every technique that improves these models removes difference. Mathematics runs the other way: a result matters because it is checkable and opens questions worth having. The part being optimised away does the work. So ask not whether a result is understood but whether it is inheritable — localisable, doubtable somewhere specific, and continuable.