Seiful are inscripţionat pe el un şir de $2^N^$ biţi. Pentru a-l debloca trebuie să găsiţi o expresie folosindu-vă de $N$ variabile de tip boolean, expresie care să conţină (de oricâte ori) doar:
* aceste variabile

* operatorul $^$ ($xor$) (cu prioritate mică)
* operatorul $!$ ($not$) (cu prioritate mare)

* operatorul $^$ ( $xor$ ) (cu prioritate mică)
* operatorul $!$ ( $not$ ) (cu prioritate mare)

* paranteze deschise şi închise (cu prioritate uriaşă)
Dacă prin concatenarea rezultatelor expresiei pentru fiecare dintre configuraţiile de $0$ şi $1$ ale fiecărei variabile, în ordine sistematică (verifică exemplul pentru o explicaţie mai detaliată) este exact şirul inscripţionat pe seif, atunci $Jimmy$ va deveni un om foarte bogat.