Building software that relies on an incorrect assumption sounds dangerous to me. There's plenty of critical software in the world, some of which has real world

Building software that relies on an incorrect assumption sounds dangerous to me. There's plenty of critical software in the world, some of which has real world consequences if there are bugs.