Toen hij in 1971 zijn stelling formuleerde, had Hawking niet gedacht dat die „ooit toetsbaar zou zijn”.