Joseph Stalin amuses Robert Heinlein and his black devil.