Smullyan.[et.al]