While it is certainly true that every possible Mr. Smith has at least one boy (i.e., the condition is necessary) it is not clear that every Mr. Smith with at least one boy is intended.
Иако је сигурно тачно да сваки могући господин Смит има најмање једног дечака (тј. услов је потребан) није јасно да је сваки господин Смит са најмање једним дечаком намењен.