&gt; The problem is when an object legitimately might or might not be present, but the type doesn&#x27;t encode that fact, so some code mistakenly assumes that the object is always present when it isn&#x27;t.<p>Yes reworded slightly, types encode value invariants, nullable types can&#x27;t encode one of their invariants.