Joan D. Vinge quotes