What if we can NEVER specify a requirement precisely enough that there won’t be this kind of ambiguity? Maybe the problem is that we’re just afraid.
