It’s true for algorithms, it’s not true for software systems. There is a ton of undefined behavior and unverifiable in software that’s widely distributed. A lot of the time this is even because those working on the systems don’t know the edge cases exist.