[id] The Collected Stories of Vernor Vinge