can we be sure there is exactly one value? How can we be sure there is not zero here?

It may be more like an option.