For now, though, it’s worth noting that a proof (in the case of the BGV theorem) and a strong indicator (in the case of the Hawking-Penrose-Ellis singularity theorems) have reinforced the testimony of observational astronomy: as best we can tell, the universe did have a beginning.
