במדינה מסוימת: כל מי שמרוויח מעל 10,000 משלם מס. כל מי שמשלם מס מגיש דו"ח שנתי. כל מי שמגיש דו"ח רשאי לקבל החזר. לא כל מי שרשאי לקבל החזר אכן מקבל. דוד מרוויח 15,000 ולא קיבל החזר. מה בהכרח נכון?