My (very) rough sketch of the set up of the time-like singularity theorems as presented by Wald: 1. Get Raychaduri eqns and find that caustics form within finite proper time (given SEC and initially negative expansion). 2. Find conjugate points corresponding to those caustics between points in... Read more