Yep. The big reason that the convenient approximations (lies) we use in mechanical and civil engineering work is that it is expected that the implementer of our

Yep. The big reason that the convenient approximations (lies) we use in mechanical and civil engineering work is that it is expected that the implementer of our designs (elaborate lies) doesn't use the wrong parts--there are exhaustive specifications on things as boring as bolts and threads and welds specifically to ensure that the behavior they exhibit is within the realm of what the designer expects. It's nice to see software engineering practices being backported to more conservative and stagnant forms of engineering. 8)