He wrote a paper on "The Hardest Logic Puzzle Ever"—one of many puzzles created by Raymond Smullyan.
Han skrev ett arbete om "the hardest logic puzzle ever" som var ett av många pussel skapade av Raymond Smullyan.