Add a link to Raymond Smullyan