> The reason very few people care is that "works" is not a binary, but obviously a continium Not necessarily. If there is a formal model of a specification, an

> The reason very few people care is that "works" is not a binary, but obviously a continium Not necessarily. If there is a formal model of a specification, and a piece of software provably implements that specification, then that is an example of software that works in a very clear, not-a-contiuum sense.