Raymond Smullyan has died