Čeky má MATH_STASH_0_ENDSTASH náramčekov, každý inej farby.
Odkladá si ich do vreca, ktoré by sa roztrhlo, ak by v ňom  bolo viac ako MATH_STASH_1_ENDSTASH.
Ivka vie, že náramčeky majú v nejakom poradí hmotnosti MATH_STASH_2_ENDSTASH, ale nevie v akom. Čeky pozná hmotnosti všetkých náramčekov a chce dokázať Ivke, že ružový náramček váži MATH_STASH_3_ENDSTASH. V jednom kroku môže Čeky dať do vreca nejaké náramčeky a ukázať Ivke, že sa <u>neroztrhlo</u>. Koľko najmenej krokov potrebuje Čeky na to, aby Ivku presvedčila?