Author's Alias: raymond merrill smullyan