Kärnan ligger i formuleringen "exakt ett": du vet alltså att ett och enbart ett påstående får vara sant, utan att du för den delen på förhand vet de exakta värdena på a och b (utöver att a > 0 och b ≥ 0).
Som exempel: låt säga att a) vore sant. Det ger då att även c) samtidigt är sant. Alltså kan svaret inte vara a), för då är inte exakt ett påstående sant. (Det kan vara nyttigt att reflektera över hur detta i sig inte utesluter att c) skulle kunna vara svaret på frågan, då man bara visat att a) ⇒ c) och inte tvärtom.)
Använder man samma tankesätt på de övriga svarsalternativen så går det att visa att d) måste vara rätt svar.
I andra ord så frågar uppgiften efter vilket påstående som inte automatiskt medför en "⇒"-pil mot minst ytterligare ett påstående i mängden.