Chapter 3 Prelim And Gromov precompactness