Seiful are inscripţionat pe el un şir de <tex>2^N</tex> biţi. Pentru a-l debloca trebuie să găsiţi o expresie folosindu-vă de <tex>N</tex>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 <tex>\XOR</tex> (xor) (cu prioritate mică)
* operatorul <tex>!</tex> (not) (cu prioritate mare)

* paranteze deschise şi închise (cu prioritate uriaşă)
Dacă prin concatenarea rezultatelor expresiei pentru fiecare dintre configuraţiile de <tex>0</tex> şi <tex>1</tex> 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.