"Raymond M. Smullyan"