-- https://www.cs.utexas.edu/~EWD/transcriptions/EWD10xx/EWD103...
Some comparisons are just literally true, for example Honda vs Acura is the same as Lexus vs Toyota. Their both high end car brands owned by a parent company that also puts out mass market cars. That’s a description of strategy not trying to extract meaning from caparison between dissimilar things.
Anyway, a farmer can build a shack without talking to a structural engineer, and a banker can muddle through coding an excel spreadsheet. But trying to muddle trough via trial and error isn’t enough to build the Burj Khalifa or a modern OS. Thus we want to use formal methods to minimize risks, costs, etc. That’s what gives rise to CS and engineering disciplines, not simply trying to staple math onto a field.