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: 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. Doğru her zaman doğru, Yanlış her zaman yalan söylemektedir. Konuşulan dilde "da" ve "ja" kelimeleri evet ve hayır anlamına gelmektedir, ancak bu kelimeler bilinmemektedir? Bu bulmacanın çözümü, George Boolos tarafından yapılmıştır.