V programovaní by si neuspel s týmto tvrdením a v tomto prípade tiež nie. Ide tu o logický stav. Jazvece sú zberatelia umenia. To znamená, že ak narazíš na zberateľa umenia bude to vždy len jazvec. V opačnom prípade by neplatilo, že jazvece sú zberatelia umenia. Niekedy vie logika poriadne domotať hlavu.