Smullyan R.M. ...