As was pointed out to me: >It's Vernor Vinge. Not Vernon Vinge. It was a typo. Oops. Thanks to my corrector. Eric