Reading `o.#v` on an object that lacks the field throws a TypeError, which is why the `#v in o` brand-check form exists: it returns false instead of throwing. A second Box carries the private field, an array does not. This safe membership test is unique to `#private` fields.