Escribió un artículo sobre "el acertijo lógico más difícil", uno de los muchos acertijos creados por Raymond Smullyan.