Vernor Vinge/Definition