Vernor Vinge pain Quotes