Cross-body Messenger 42 · Black
Four outcomes, not one nullable number. Not found means the counter looked and saw nothing but is not certain the key belongs here, and it never becomes a zero without adjudication. Counted 0 means the counter looked and there were none, and it is the only observation that can legitimately drive a balance to zero. INV1's CHECK (quantity > 0) made that second sentence unstorable.