Dünyanın en zor bulmacası olarak kabul edilen, 1996 yılında Harvard Review of Philosophy dergisinde yayımlanan mantık bulmacası şu şekildedir 245:

Bir gezegene zorunlu iniş yapılmıştır ve kurtulmanın tek yolu, Doğru, Yanlış ve Rastgele adlı üç lidere doğru sembolleri vererek izin almalarını sağlamaktır 4. Ancak, bu liderlerin kim olduğunu bilinmemektedir 4. Her lidere birer tane olmak şartıyla sadece üç evet-hayır sorusu sorma hakkı vardır 4.

Konuşulan dilde "da" ve "ja" kelimeleri evet ve hayır anlamına gelmektedir, ancak bu kelimeler bilinmemektedir 4. Üç soruyla Doğru, Yanlış ve Rastgele'nin kim olduğu nasıl anlaşılır 4?

Bu bulmacanın çözümü, George Boolos tarafından yapılmıştır 245.