ساخته شده توسط منطق دان: ریموند اسمولیان و عمومی شده توسط همکار او: جرج بولوس، این معما سخت ترین معمای منطقی نامیده شده است. 
Created by logician Raymond Smullyan and popularized by his colleague George Boolos, this riddle has been called the hardest logic puzzle ever. 