Huh. I got if off Wikipedia, which went so far as to give other, discarded, names. I checked cuz I remembered having heard that the IBM thing was bogus.He actually didn’t, but that misconception has persisted since the film and book were first releases.