Fair, but I didn't get to it until ~2010. And yeah, Vinge uses the exact phrasing https://akkartik.name/post/deepness