Author's Alias: rudolph carnap