We now recognize an all-empty intermediate value to mean that the unknown value is really a null one.