Înainte de a face acest lucru, el trebuie să se asigure de ipoteza sa, iar aici îi vii tu în ajutor. În continuare vom formaliza situaţia din bucătăria unchiului Reginaldius şi cerinţa sa:
- Bucătăria unchiului Reginaldius conţine $9$ tipuri diferite de brânză.

- Fiecare tip de brânză poate fi cumpărat la kg. Pentru fiecare tip de brânză, preţul unui kilogram din tipul respectiv a fost ales aleator uniform din intervalul $[1, 1000]$.

- Fiecare tip de brânză poate fi cumpărat la kg. Pentru fiecare tip de brânză, preţul unui kilogram din tipul respectiv este un numar natural ales aleator uniform din intervalul $[1, 1000]$.

- În fiecare zi, robotul merge la cumpărături. El alege o submulţime a celor $9$ tipuri şi cumpără un kilogram din fiecare. Submulţimea este aleasă aleator uniform din mulţimea tuturor submulţimilor de brânzeturi, inclusiv mulţimea vidă.
- Robotul face apoi suma preţurilor per kilogram pentru brânzeturile din ziua respectivă, fie ea egală cu $S$.
- Dacă robotul este corect, el îi va spune unchiului că a cheltuit o sumă egală cu $S$.