> Their cost hugely exceeds their usefulness, which to my mind is minor at best, and non-existant at worst. This value difference is indeed core. I value them

> Their cost hugely exceeds their usefulness, which to my mind is minor at best, and non-existant at worst. This value difference is indeed core. I value them exactly as "information that can be discerned from reading a program without having to try to execute it in your brain". There is a cost to retaining this information in that there exist programs which have operational meaning but lack this structure. At the same time, I think that this information is incredibly valuable. So, yes, if you don't see the benefit then there's little more to say.