A Genealogy of Noncompact Manifolds of Nonnegative Curvature: history and Logic