Lunar basin formation and highland stratigraphy (Q280928)