I knew Jerry for many years. I didn't know Ben well, but I had most of that conversation with Stan Schmidt myself a few years later. Couldn't use him, because he wasn't editing Analog in the time I was writing about.