Vernor Vinge quotes