[math-fun] Contacting Ray Smullyan