Author's Alias: paul richard halmos