Redirecting to Gromov's compactness theorem