Tagged: gravitational singularity theorems