Author's Alias: douglas richard hofstadter